LSCs: Breathing life into message sequence charts. Formal Methods (0)

by W Damm, D Harel
Venue:in System Design, 19(1):45– 80, 2001. Preliminary version appeared in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS’99