Reasoning about Probabilistic Lossy Channel Systems
- 21 December 2000
- book chapter
- Published by Springer Nature
- p. 320-333
- https://doi.org/10.1007/3-540-44618-4_24
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Establishing Qualitative Properties for Probabilistic Lossy Channel SystemsPublished by Springer Nature ,1999
- Probabilistic lossy channel systemsPublished by Springer Nature ,1997
- Verifying Programs with Unreliable ChannelsInformation and Computation, 1996
- On randomization in sequential and distributed algorithmsACM Computing Surveys, 1994
- On Communicating Finite-State MachinesJournal of the ACM, 1983