Specification and Verification of Message Sequence Charts

Publisher Website

1 January 2000

book chapter
Published by Springer Nature

p. 139-154
https://doi.org/10.1007/978-0-387-35533-7_9

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Model Checking of Message Sequence Charts
Published by Springer Nature ,1999
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces
Published by Springer Nature ,1999
Deciding global partial-order properties
Published by Springer Nature ,1998
Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems
Information and Computation, 1996