A hierarchy of communication models for Message Sequence Charts

A.G. Engels, S. Mauw, M.A. Reniers

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

Original languageEnglish
Title of host publicationFormal Description Techniques and Protocol Specification, Testing and Verification (Proceedings FORTE/PSTV'97, Osaka, Japan, November 18-21, 1997)
EditorsA. Togashi, T. Mizuno, N. Shiratori, T. Higashino
PublisherChapman & Hall
ISBN (Print)0-412-82060-9
Publication statusPublished - 1998

Publication series

NameIFIP Conference Proceedings
ISSN (Print)1571-5736

Cite this