Specifying and verifying fault-tolerant systems
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Hybrid systems in TLA+Published by Springer Nature ,1993
- Specifying modules to satisfy interfaces: A state transition system approachDistributed Computing, 1992
- Operational specification with joint actions: Serializable databasesDistributed Computing, 1992
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- The Byzantine Generals ProblemACM Transactions on Programming Languages and Systems, 1982
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- Proving assertions about parallel programsJournal of Computer and System Sciences, 1975