LSCs: Breathing life into message sequence charts (1999)

by W Damm, D Harel
Venue:In Proc. 3rd IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS’99