Simulating perfect channels with probabilistic lossy channels

Information and Computation

Volumn 197, Issue 1-2, 2005, Pages 22-40

  Abdulla, Parosh ^a   Baier, Christel ^b   Iyer, S Purushothaman ^c   Jonsson, Bengt ^a  

^a UPPSALA UNIVERSITY   (Sweden)

^b UNIVERSITY OF BONN   (Germany)

^c North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER SIMULATION; ERROR ANALYSIS; FORMAL LANGUAGES; MARKOV PROCESSES; MATHEMATICAL MODELS; PROBABILITY; PROBLEM SOLVING;

FIFO CHANNELS; INFINITE-STATE SYSTEMS; PROBABILISTIC LOSSY CHANNEL SYSTEMS; TEMPORAL LOGIC;

COMMUNICATION CHANNELS (INFORMATION THEORY);

EID: 14744282484     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ic.2004.12.001     Document Type: Article

References (11)

1. P.A. Abdulla, and B. Jonsson Undecidable verification problems for programs with unreliable channels Information and Computation 130 1 1996 71 90
2. P.A. Abdulla, and B. Jonsson Verifying programs with unreliable channels Information and Computation 127 2 1996 91 101
3. P.A. Abdulla, A. Rabinovich, Verification of probabilistic systems with faulty communication, in: Proceedings of the FOSSACS03, Confernece on Foundations of Software Science and Computation Structures, vol. 2620, 2003
4. C. Baier, B. Engelen, Establishing qualitative properties for probabilistic lossy channel systems, in: Katoen (Ed.), ARTS'99, Formal Methods for Real-Time and Probabilistic Systems, 5th Int. AMAST Workshop, volume 1601 of Lecture Notes in Computer Science, Springer, 1999, pp. 34-52
5. N. Bertrand, Ph. Schnoebelen, Model checking lossy channels systems is probably decidable, in: Proceedings of the FOSSACS03, Conference on Foundations of Software Science and Computation Structures, vol. 2620, 2003
6. D. Brand, and P. Zafiropulo On communicating finite-state machines Journal of the ACM 2 5 1983 323 342
7. M.H. DeGroot Probability and statistics 1975 Addison-Wesley Reading, MA
8. P. Iyer, M. Narasimha, Probabilistic lossy channel systems, in: TAPSOFT '97: Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, 1997, pp. 667-681
9. S. Karlin A First Course in Stochastic Processes 1966 Academic Press New York
10. J.G. Kemeny, J.L. Snell, and A.W. Knapp Denumerable Markov Chains 1966 D Van Nostad
11. M.O. Rabin Probabilistic algorithms J.F. Traub Algorithms and Complexity: New Directions and Recent Results 1976 Academic Press New York 21 39