On the verification of broadcast protocols
- 20 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 352-359
- https://doi.org/10.1109/lics.1999.782630
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- General decidability theorems for infinite-state systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On model checking for non-deterministic infinite-state systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Undecidable verification problems for programs with unreliable channelsPublished by Springer Nature ,1994
- Reasoning about systems with many processesJournal of the ACM, 1992
- Reduction and covering of infinite reachability treesInformation and Computation, 1990
- Parallel program schemataJournal of Computer and System Sciences, 1969