A hierarchy of communication models for Message Sequence Charts

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelFormal Description Techniques and Protocol Specification, Testing and Verification (Proceedings FORTE/PSTV'97, Osaka, Japan, November 18-21, 1997)
RedacteurenA. Togashi, T. Mizuno, N. Shiratori, T. Higashino
UitgeverijChapman & Hall
Pagina's75-90
ISBN van geprinte versie0-412-82060-9
StatusGepubliceerd - 1998

Publicatie series

NaamIFIP Conference Proceedings
Volume107
ISSN van geprinte versie1571-5736

Citeer dit

Engels, A. G., Mauw, S., & Reniers, M. A. (1998). A hierarchy of communication models for Message Sequence Charts. In A. Togashi, T. Mizuno, N. Shiratori, & T. Higashino (editors), Formal Description Techniques and Protocol Specification, Testing and Verification (Proceedings FORTE/PSTV'97, Osaka, Japan, November 18-21, 1997) (blz. 75-90). (IFIP Conference Proceedings; Vol. 107). Chapman & Hall.