Specification and Verification of an Atomic Broadcast Protocol

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 291-308
https://doi.org/10.1007/978-3-7091-9396-9_24

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Formal verification of algorithms for critical systems
IEEE Transactions on Software Engineering, 1993
Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization
Lecture Notes in Computer Science, 1992
Real-Time: Theory in Practice
Published by Springer Nature ,1992
Specification and Compositional Verification of Real-Time Systems
Lecture Notes in Computer Science, 1991
Synchronous atomic broadcast for redundant broadcast channels
Real-Time Systems, 1990
Reliable broadcast protocols
ACM Transactions on Computer Systems, 1984

Cited by 1 article