Delayed choice : an operator for joining Massage Sequence Charts

J.C.M. Baeten, S. Mauw

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

37 Downloads (Pure)
Original languageEnglish
Title of host publicationFormal Description Techniques VII (Proceedings of the 7th IFIP WG 6.1 International Conference, Berne, Switzerland, 1994)
EditorsD. Hogrefe, S. Leue
PublisherChapman & Hall
ISBN (Print)0-412-64450-9
Publication statusPublished - 1995

Publication series

NameIFIP Conference Proceedings
ISSN (Print)1571-5736

Cite this