LSCs: Breathing life into message sequence charts

Werner Damm, David Harel
[doi] [Google Scholar] [DBLP] [Citeseer]

Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy
IFIP Conference Proceedings, volume 139
Kluwer
1999
Note(s): formal specification