Loading...
Please wait, while we are loading the content...
Similar Documents
Beyond Message Sequence Graphs (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Madhusudan, P. Meenakshi, B. |
| Description | We study the model-checking problem for classes of message sequence charts (MSCs) defined by two extensions of message sequence graphs (MSGs). These classes subsume the class of regular MSC languages. |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2001-01-01 |
| Publisher Institution | In Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science |
| Access Restriction | Open |
| Subject Keyword | Message Sequence Chart Model-checking Problem Beyond Message Sequence Graph Message Sequence Graph Regular Msc Language |
| Content Type | Text |
| Resource Type | Article |