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
IFIP Conference Proceedings, volume 139
Kluwer
1999
Note(s): formal specification