@inproceedings{Jacobs_Simpson_SaFoMe2014,
  title = "On a Process Algebraic Representation of Sequence Diagrams",
  author = "J. Jacobs and A. C. Simpson",
  year = "2014",
  booktitle = "Proceedings of the 1st International Workshop on Safety and Formal Methods ({SaFoMe} 2014)",
  isbn = "978-3-319-15201-1",
  pages = "71--85",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8938",
}