Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1998
Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H.
(1998)
A Process Algebra Semantics for Message Sequence Chart Documents.
Hildesheimer Informatik-Bericht 5/98,
University of Hildesheim, Hildesheim, Germany.
ISSN 0941-3014
Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H.
(1998)
An Algebraic Semantics for Message Sequence Chart Documents.
In: Formal Decription Techniques (FORTE).
pp. 3-18.
IFIP Conference Proceedings 135.
Chapman & Hall.
ISBN 0-412-84760-4
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||