Benedikt Bollig, Martin Leucker  Home/Search
Context
Related
| i2.informatik.rwth...ker__MPS_ext.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: i2.informatik.rwthaachen.d...lit (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present a model for Message Passing Systems unifying concepts of message sequence charts (MSCs) and Lamport diagrams. Message passing systems may be de ned|similarly to MSCs|without having a concrete communication medium in mind. Our main contribution is that we equip such systems with a tool set of speci cation and veri cation procedures. We provide a global linear time temporal logic which may be employed for specifying message passing systems. In an independent step, a communication... (Update)
Similar documents (at the sentence level):
5.6%: Regular MSC Languages - Bollig, Leucker, Noll (2001) (Correct)
Active bibliography (related documents): More All
0.7: Generalised Regular MSC Languages - Bollig, Leucker, Noll (2002) (Correct)
0.5: Beyond Message Sequence Graphs - Madhusudan, Meenakshi (2001) (Correct)
0.5: Extending Compositional Message Sequence Graphs - Bollig, Leucker, Lucas (2002) (Correct)
Similar documents based on text: More All
0.5: Model Checking Probabilistic Distributed Systems - Bollig, Leucker (Correct)
0.4: Deciding LTL over Mazurkiewicz Traces - Bollig, Leucker (2001) (Correct)
0.3: Local Parallel Model Checking for the Alternation-Free.. - Bollig, Leucker, Weber (2002) (Correct)
BibTeX entry: (Update)
@inproceedings{ bollig01modelling,
author = "Benedikt Bollig and Martin Leucker",
title = "Modelling, Specifying, and Verifying Message Passing Systems",
booktitle = "Proceedings of the Symposium on Temporal Representation and Reasoning {({TIME}'01)}",
publisher = "IEEE Computer Society Press",
editor = "Claudio Bettini and Angelo Montanari",
pages = "240--248",
year = "2001",
url = "citeseer.ist.psu.edu/bollig01modelling.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
917 and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
207 A stubborn attack on state explosion (context) - Valmari - 1991
128 An Automata-Theoretic Approach to Linear Temporal Logic - Vardi - 1996
54 Distributed computing: Models and methods (context) - Lamport, Lynch - 1990
48 Model checking of message sequence charts - Alur, Yannakakis - 1999
35 An expressively complete linear time temporal logic for Mazu.. - Thiagarajan, Walukiewicz - 1997
32 Deciding properties for message sequence charts - Muscholl, Su et al. - 1998
30 Inference of message sequence charts - Alur, Etessami et al. - 2000
27 Ten years of partial order reduction (context) - Peled - 1998
18 Regular collections of message sequence charts - Henriksen, Mukund et al. - 2000
13 Compositional Message Sequence Charts - Gunter, Muscholl et al. - 2001
13 PTL over product state spaces (context) - Thiagarajan - 1995
11 Notes on nite asynchronous automata (context) - Zielonka - 1987
7 and Verifying Message Passing Systems (context) - Bollig, Leucker et al. - 2001
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
5 Deciding LTL over Mazurkiewicz Traces - Bollig, Leucker - 2001
4 Formalizing sequence diagrams (context) - Ara - 1998
2 Regular MSC Languages - Bollig, Leucker et al. - 2001
2 Matching specications for message sequence charts (context) - Muscholl - 1998
1 also appeared in TACAS'96 (context) - Alur, Holzmann et al. - 1996
1 Can message bu ers be axiomatized in linear temporal logic (context) - Sistla, Clarke et al. - 1984
1 Automatic temporal verication of bu er systems (context) - Sistla, Zuck - 1992
Documents on the same site (http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/lit.html): More
Implementation of an Efficient Parallel BDD Package - Stornetta (1995) (Correct)
Composing the user interface with Haggis - Finne, Jones (1996) (Correct)
Model Checking and Other Games - Stirling (1996) (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