A hierarchy of communication models for Message Sequence Charts

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

A hierarchy of communication models for Message Sequence Charts

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

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Formal Description Techniques and Protocol Specification, Testing and Verification (Proceedings FORTE/PSTV'97, Osaka, Japan, November 18-21, 1997)
Editors	A. Togashi, T. Mizuno, N. Shiratori, T. Higashino
Publisher	Chapman & Hall
Pages	75-90
ISBN (Print)	0-412-82060-9
Publication status	Published - 1998

Publication series

Name	IFIP Conference Proceedings
Volume	107
ISSN (Print)	1571-5736

Cite this

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 (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification (Proceedings FORTE/PSTV'97, Osaka, Japan, November 18-21, 1997) (pp. 75-90). (IFIP Conference Proceedings; Vol. 107). Chapman & Hall.

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

@inproceedings{a23379e8823a43d4b927061f2e20a823,

title = "A hierarchy of communication models for Message Sequence Charts",

author = "A.G. Engels and S. Mauw and M.A. Reniers",

year = "1998",

language = "English",

isbn = "0-412-82060-9",

series = "IFIP Conference Proceedings",

publisher = "Chapman & Hall",

pages = "75--90",

editor = "A. Togashi and T. Mizuno and N. Shiratori and T. Higashino",

booktitle = "Formal Description Techniques and Protocol Specification, Testing and Verification (Proceedings FORTE/PSTV'97, Osaka, Japan, November 18-21, 1997)",

address = "United Kingdom",

}

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A hierarchy of communication models for Message Sequence Charts

AU - Engels, A.G.

AU - Mauw, S.

AU - Reniers, M.A.

PY - 1998

Y1 - 1998

M3 - Conference contribution

SN - 0-412-82060-9

T3 - IFIP Conference Proceedings

SP - 75

EP - 90

BT - Formal Description Techniques and Protocol Specification, Testing and Verification (Proceedings FORTE/PSTV'97, Osaka, Japan, November 18-21, 1997)

A2 - Togashi, A.

A2 - Mizuno, T.

A2 - Shiratori, N.

A2 - Higashino, T.

PB - Chapman & Hall

ER -