Proof rules for fault tolerant distributed programs
- 1 February 1987
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 8 (1) , 43-67
- https://doi.org/10.1016/0167-6423(87)90003-7
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Fail-stop processorsACM Transactions on Computer Systems, 1983
- Correctness proofs of CSP programsTheoretical Computer Science, 1983
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980
- Communicating sequential processesCommunications of the ACM, 1978