Matching Specifications for Message Sequence Charts
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 273-287
- https://doi.org/10.1007/3-540-49019-1_19
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Mesa: Support for scenario-based design of concurrent systemsPublished by Springer Nature ,1998
- Deciding properties for message sequence chartsPublished by Springer Nature ,1998
- Syntactic detection of process divergence and non-local choice in message sequence chartsPublished by Springer Nature ,1997
- An automata-theoretic approach to linear temporal logicPublished by Springer Nature ,1996
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Alternating finite automata on ω-wordsTheoretical Computer Science, 1984
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981