On a Process Algebraic Representation of Sequence Diagrams
J. Jacobs and A. C. Simpson
Book Title
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
Year
2014