Specification and Verification of an Atomic Broadcast Protocol
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Formal verification of algorithms for critical systemsIEEE Transactions on Software Engineering, 1993
- Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronizationPublished by Springer Nature ,1992
- Real-Time: Theory in PracticePublished by Springer Nature ,1992
- Specification and Compositional Verification of Real-Time SystemsPublished by Springer Nature ,1991
- Synchronous atomic broadcast for redundant broadcast channelsReal-Time Systems, 1990
- Reliable broadcast protocolsACM Transactions on Computer Systems, 1984