Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1998
Katoen, J.P. and Lambert, L.
(1998)
Pomsets for message sequence charts.
In: Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech, 4. und 5. Juni 1998, Cottbus, Germany.
pp. 197-207.
Shaker Verlag.
ISBN 3-8265-3807-2
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||