On Message Sequence Graphs and Finitely Generated Regular MSC Languages
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 675-686
- https://doi.org/10.1007/3-540-45022-x_57
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- The “last” decision problem for rational trace languagesPublished by Springer Nature ,2005
- Model Checking of Message Sequence ChartsPublished by Springer Nature ,1999
- Matching Specifications for Message Sequence ChartsPublished 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
- Syntactic detection of process divergence and non-local choice in message sequence chartsPublished by Springer Nature ,1997
- Verification of message sequence charts via template matchingPublished by Springer Nature ,1997
- Tutorial on Message Sequence ChartsComputer Networks and ISDN Systems, 1996
- Interpreting Message Flow GraphsFormal Aspects of Computing, 1995
- The Book of TracesPublished by World Scientific Pub Co Pte Ltd ,1995