Reasoning about Probabilistic Lossy Channel Systems

CONCUR 2000 — Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-44618-4_24 ◽

2000 ◽

pp. 320-333 ◽

Author(s):

Parosh Abdulla ◽

Christel Baier ◽

Purushothaman Iyer ◽

Bengt Jonsson

Keyword(s):

Lossy Channel ◽

Channel Systems

Download Full-text

Stochastic Parity Games on Lossy Channel Systems

Logical Methods in Computer Science ◽

10.2168/lmcs-10(4:21)2014 ◽

2015 ◽

Vol 10 (4) ◽

Author(s):

Parosh Abdulla ◽

Lorenzo Clemente ◽

Richard Mayr ◽

Sven Sandberg

Keyword(s):

Parity Games ◽

Lossy Channel ◽

Channel Systems

Download Full-text

Probabilistic lossy channel systems

TAPSOFT '97: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/bfb0030633 ◽

1997 ◽

pp. 667-681 ◽

Author(s):

Purush Iyer ◽

Murali Narasimha

Keyword(s):

Lossy Channel ◽

Channel Systems

Download Full-text

Quantitative analysis of probabilistic lossy channel systems

Information and Computation ◽

10.1016/j.ic.2005.11.004 ◽

2006 ◽

Vol 204 (5) ◽

pp. 713-740 ◽

Author(s):

Alexander Rabinovich

Keyword(s):

Quantitative Analysis ◽

Lossy Channel ◽

Channel Systems

Download Full-text

Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49059-0_15 ◽

1999 ◽

pp. 208-222 ◽

Author(s):

Parosh Abdulla ◽

Aurore Annichini ◽

Ahmed Bouajjani

Keyword(s):

Lossy Channel ◽

Channel Systems ◽

Symbolic Verification

Download Full-text

An Improved Search Strategy for Lossy Channel Systems

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_16 ◽

1997 ◽

pp. 251-264 ◽

Author(s):

Parosh Aziz Abdulla ◽

Mats Kindahl ◽

Doron Peled

Keyword(s):

Search Strategy ◽

Lossy Channel ◽

Channel Systems

Download Full-text

Probabilistic analysis for state reachability of wireless lossy channel systems

2010 IEEE International Conference on Intelligent Computing and Intelligent Systems ◽

10.1109/icicisys.2010.5658412 ◽

2010 ◽

Author(s):

Guofeng Yan ◽

Jianxin Wang ◽

Shuhong Chen

Keyword(s):

Probabilistic Analysis ◽

Lossy Channel ◽

Channel Systems

Download Full-text

Decidability of simulation and bisimulation between lossy channel systems and finite state systems

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_25 ◽

1995 ◽

pp. 333-347 ◽

Author(s):

Parosh Aziz Abdulla ◽

Mats Kindahl

Keyword(s):

Finite State ◽

Lossy Channel ◽

Channel Systems

Download Full-text

On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/11916277_24 ◽

2006 ◽

pp. 347-361 ◽

Author(s):

Christel Baier ◽

Nathalie Bertrand ◽

Philippe Schnoebelen

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking ◽

Lossy Channel ◽

Channel Systems

Download Full-text

Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_19 ◽

2001 ◽

pp. 385-399 ◽

Author(s):

Ph. Schnoebelen

Keyword(s):

Lossy Channel ◽

Channel Systems

Download Full-text

Using Forward Reachability Analysis for Verification of Lossy Channel Systems

Formal Methods in System Design ◽

10.1023/b:form.0000033962.51898.1a ◽

2004 ◽

Vol 25 (1) ◽

pp. 39-65 ◽

Author(s):

Parosh Aziz Abdulla ◽

Aurore Collomb-Annichini ◽

Ahmed Bouajjani ◽

Bengt Jonsson

Keyword(s):

Reachability Analysis ◽

Lossy Channel ◽

Channel Systems

Download Full-text