P. Madhusudan, B. Meenakshi  Home/Search
Context Related
| imsc.ernet.in/~madhu/fst01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: imsc.ernet.in/~madhu/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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. (Update)
Context of citations to this paper: More
...authors are unaware of any literature on model checking MSCs with gates, it was shown that basic properties of HCMSCs are undecidable. [16] slightly restricts the class of HCMSCs towards compositional message sequence graphs (CMSGs) still maintaining the main features of...
Cited by: More
Dynamic Message Sequence Charts - Martin Leucker Madhusudan (2002) (Correct)
Message-Passing Automata Are Expressively Equivalent to EMSO.. - Bollig, Leucker (2005) (Correct)
A Theory of Regular MSC Languages - Henriksen, Mukund, Kumar, Sohoni.. (2003) (Correct)
Active bibliography (related documents): More All
0.8: Reasoning about Sequential and Branching Behaviours of Message.. - Madhusudan (Correct)
0.5: Modelling, Specifying, and Verifying Message Passing Systems - Bollig, Leucker (2001) (Correct)
0.4: Regular MSC Languages - Bollig, Leucker, Noll (2001) (Correct)
Similar documents based on text: More All
2.0: On Message Sequence Graphs and Finitely Generated.. - Henriksen.. (2000) (Correct)
1.6: Regular Collections of Message Sequence Charts - Henriksen, Mukund, Kumar.. (2000) (Correct)
0.8: Extending Compositional Message Sequence Graphs - Bollig, Leucker, Lucas (2002) (Correct)
Related documents from co-citation: More All
7: Model checking of message sequence charts - Alur, Yannakakis - 1999
6: Reasoning about sequential and branching behaviours of message sequence graphs - Madhusudan
5: Regular collections of message sequence charts - Henriksen, Mukund et al. - 2000
BibTeX entry: (Update)
P. Madhusudan and B. Meenakshi. Beyond message sequence graphs. In Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science. Springer, 2001. http://citeseer.ist.psu.edu/madhusudan01beyond.html More
@article{ madhusudan01beyond,
author = "P. Madhusudan and B. Meenakshi",
title = "Beyond Message Sequence Graphs",
journal = "Lecture Notes in Computer Science",
volume = "2245",
pages = "256+",
year = "2001",
url = "citeseer.ist.psu.edu/madhusudan01beyond.html" }
Citations (may not include all citations):166 Message sequence chart (context) - Recommendation - 1997
81 Handbook of Theoretical Computer Science (context) - Thomas, innite - 1990
48 Model checking of message sequence charts - Alur, Yannakakis - 1999
36 Tutorial on message sequence charts - Rudolph, Graubmann et al. - 1996
35 An expressively complete linear time temporal logic for Mazu.. - Thiagarajan, Walukiewicz - 1997
30 Inference of message sequence charts - Alur, Etessami et al. - 2000
18 Regular collections of Message Sequence Charts - Henriksen, Mukund et al. - 2000
13 Compositional message sequence charts - Gunter, Muscholl et al.
10 Reasoning about sequential and branching behaviours of messa.. - Madhusudan
10 Handbook of Formal Language Theory (context) - Thomas, automata - 1997
7 On message sequence graphs and nitely generated regular MSC .. (context) - Henriksen, Mukund et al. - 2000
6 Reasoning about message passing in nite state environments (context) - Meenakshi, Ramanujam - 2000
4 Towards a theory of regular MSC languages - Henriksen, Mukund et al. - 1999
1 Specication and verication of message sequence charts (context) - Peled - 2000
1 Institute of Mathematical Sciences Technical Report (context) - Madhusudan, Meenakshi et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.imsc.ernet.in/~madhu/): More
Controllers for Discrete Event Systems via Morphisms - Madhusudan, Thiagarajan (1998) (Correct)
On-the-fly Verification for Product-LTL - D'Souza, Madhusudan (1997) (Correct)
Reasoning about Sequential and Branching Behaviours of Message.. - Madhusudan (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC