Probabilistic Lossy Channel Systems: an Algorithmic Approach Christel Baier,...  Home/Search
Context
Related
| web.informatik.unibonn.de/...arts99.ps 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: web.informatik.un...publikationen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Lossy channel systems (LCSs) are models for communicating systems where the subprocesses are linked via unbounded FIFO channels which might lose messages. Link protocols, such as the Alternating Bit Protocol and HDLC can be modelled with these systems. The decidability of several verification problems of LCSs has been investigated by Abdulla & Jonsson [AJ93,AJ94], e.g. they have shown that the reachability problem for LCSs is decidable while LTL model checking is not. (Update)
Active bibliography (related documents): More All
1.5: Establishing Qualitative Properties for Probabilistic Lossy.. - Baier, Engelen (1999) (Correct)
0.5: Unknown - Fairness Is Concept (Correct)
0.4: Bisimulation and Other Undecidable Equivalences for Lossy.. - Schnoebelen (2001) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ channel-establishing,
author = "Probabilistic Lossy Channel",
title = "Establishing Qualitative Properties for",
url = "citeseer.ist.psu.edu/745278.html" }
Citations (may not include all citations):1749 An Introduction to Probability Theory and its Application (context) - Feller - 1968
1180 The Temporal Logic of Reactive and Concurrent Systems-Specif.. (context) - Manna, Pnueli - 1992
1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
718 Distributed Algorithms (context) - Lynch - 1995
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
293 Hierarchical Correctness Proofs For Distributed Algorithms - Lynch, Tuttle - 1987
139 Reasoning about infinite computations - Vardi, Wolper - 1994
129 Model checking of probabilistic and nondeterministic systems - Bianco, de Alfaro - 1995
128 An automata-theoretic approach to linear temporal logic - Vardi - 1996
128 Automatic verification of probabilistic concurrent finite-st.. (context) - Vardi - 1985
120 A note on reliable full-duplex transmission over half-duplex.. (context) - Bartlett, Scantlebury et al. - 1969
120 Handbook of Theoretical Computer Science (context) - Emerson, modal - 1990
103 On communicating finite-state machines (context) - Brand, Zafiropulo - 1983
94 Model checking for a probabilistic branching time logic with.. - Baier, Kwiatkowska - 1998
90 Characterizing finite Kripke structures in propositional tem.. (context) - Browne, Clarke et al. - 1988
90 Modeling and Verification of Randomized Distributed Real-Tim.. (context) - Segala - 1995
87 A logic for reasoning about time and reliability - Hansson, Jonsson - 1994
81 Handbook of Theoretical Computer Science (context) - Thomas, infinite - 1990
71 Reasoning about infinite computation paths (context) - Wolper, Vardi et al. - 1983
67 The complexity of probabilistic verification (context) - Courcoubetis, Yannakakis - 1995
57 Axiomatizing probabilistic processes: ACP with generative pr.. (context) - Baeten, Bergstra et al. - 1995
49 It usually works: The temporal logic of stochastic systems - Aziz, Singhal et al. - 1995
40 Verifying temporal properties of finitestate probabilistic p.. (context) - Courcoubetis, Yannakakis - 1988
39 fly analysis of systems with unbounded (context) - Abdulla, Bouajjani et al. - 1998
36 Weak bisimulation for fully probabilistic processes - Baier, Hermanns - 1997
35 ACM Transactions on Programming Languages and Systems (context) - Hart, Sharir et al. - 1983
34 International Standards Organization (context) - communications, procedures et al. - 1979
33 Model checking lossy vector addition systems - Bouajjani, Mayr - 1998
32 Compositional verification of probabilistic processes (context) - Larsen, Skou - 1992
30 Information and Control (context) - Lehmann, Shelah et al. - 1982
30 Undecidable verification problems for programs with unreliab.. - Abdulla, Jonsson - 1996
28 Probabilistic Temporal Logics for Finite and Bounded Models (context) - Hart, Sharir et al. - 1984
20 Decidability of the termination problem for completely speci.. (context) - Finkel - 1994
20 Unreliable channels are easier to verify than perfect channe.. (context) - C'ec'e, Finkel et al. - 1996
20 and complete axiomatizations for probabilistic processes (context) - Jou, Smolka et al. - 1990
16 Probabilistic Verification by Tableaux (context) - Pnueli, Zuck et al. - 1986
15 Establishing Qualitative Properties for Probabilistic Lossy .. - Baier, Engelen et al. - 1999
15 Probabilistic lossy channel systems - Iyer, Narasimha - 1997
12 On some equivalence relations for probabilistic processes (context) - Huynh, Tian - 1992
11 Almost always (context) - Iyer, Narasimha - 1996
9 Temporal logics for the specification of performance and rel.. - de Alfaro - 1997
8 Efficient algorithms for verification of equivalences for pr.. (context) - Christoff, Christoff - 1991
8 Decidability of simulation and bisimulation between lossy ch.. (context) - Abdulla, Kindahl - 1995
5 Reasoning about safety and liveness properties for probabili.. (context) - Christoff, Christoff - 1992
4 An improved search strategy for lossy channel systems - Abdulla, Kindahl et al. - 1997
1 The full version with the same title has been published in I.. (context) - Abdulla, Jonsson et al. - 1996
Documents on the same site (http://web.informatik.uni-bonn.de/I/baier/publikationen.html): More
Quantitative Analysis of Distributed Randomized Protocols - Baier, Ciesinski, Groesser (2005) (Correct)
Symbolic Reasoning with Weighted and Normalized Decision.. - Ossowski, Baier (2005) (Correct)
Synthesis of Reo Circuits for Implementation of.. - Arbab, Baier, de.. (2004) (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