Compositional Message Sequence Charts
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 496-511
- https://doi.org/10.1007/3-540-45319-9_34
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Inference of message sequence chartsPublished by Association for Computing Machinery (ACM) ,2000
- On Message Sequence Graphs and Finitely Generated Regular MSC LanguagesPublished by Springer Nature ,2000
- Path Exploration ToolPublished by Springer Nature ,1999
- Message Sequence Graphs and Decision Problems on Mazurkiewicz TracesPublished by Springer Nature ,1999
- Deciding properties for message sequence chartsPublished by Springer Nature ,1998
- High-level Message Sequence ChartsPublished by Elsevier ,1997
- A Partial Approach to Model CheckingInformation and Computation, 1994
- All from one, one for all: on model checking using representativesPublished by Springer Nature ,1993