A compiler that increases the fault tolerance of asynchronous protocols

DOI10.1109/12.9732zbMath0663.68035OpenAlexW2097206726WikidataQ121031795 ScholiaQ121031795MaRDI QIDQ3814793

Brian A. Coan

Publication date: 1988

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.9732

zbMATH Keywords

asynchronous distributed systemsByzantine faultscompilerprotocol transformationscrash faultapproximate agreement protocol

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

Structured Derivation of Semi-Synchronous Algorithms

This page was built for publication: A compiler that increases the fault tolerance of asynchronous protocols