Formal specification and compositional verification of an atomic broadcast protocol
- 1 September 1995
- journal article
- research article
- Published by Springer Nature in Real-Time Systems
- Vol. 9 (2) , 119-145
- https://doi.org/10.1007/bf01088854
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Atomic Broadcast: From Simple Message Diffusion to Byzantine AgreementInformation and Computation, 1995
- 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 communication in the presence of failuresACM Transactions on Computer Systems, 1987
- Streets of Byzantium: Network Architectures for Fast Reliable BroadcastsIEEE Transactions on Software Engineering, 1985
- Synchronizing clocks in the presence of faultsJournal of the ACM, 1985
- Reliable broadcast protocolsACM Transactions on Computer Systems, 1984