@inproceedings{DBLP:conf/icfem/DaviesC03,
  title = "Using State Diagrams to Describe Concurrent Behaviour",
  author = "Jim Davies and Charles Crichton",
  year = "2003",
  booktitle = "5th International Conference on Formal Engineering Methods, ICFEM 2003",
  copyright = "2003",
  crossref = "DBLP:conf/icfem/2003",
  editor = "Jin Song Dong and Jim Woodcock",
  isbn = "978-3-540-20461-9",
  issn = "1611-3349",
  pages = "105-124",
  publisher = "Springer Berlin / Heidelberg",
  volume = "2885/2003",
  doi = "10.1007/b94115",
}