1 results
An event structure based semantics for high-level message sequence charts
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 4 / August 2002
- Published online by Cambridge University Press:
- 16 September 2002, pp. 377-402
-
- Article
- Export citation