The impossibility of implementing reliable communication in the face of crashes

DOI10.1145/174147.169676zbMath0795.68016OpenAlexW2012988094MaRDI QIDQ4285632

No author found.

Publication date: 11 September 1994

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/174147.169676

zbMATH Keywords

communication networksformal specificationlower boundsI/O automatacommunication protocolconnection reset

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (5)

Highly concurrent logically synchronous multicast ⋮ Feasibility and complexity of broadcasting with random transmission failures ⋮ Hundreds of impossibility results for distributed computing ⋮ Scalable eventually consistent counters over unreliable networks ⋮ \(f\)-sensitivity distance oracles and routing schemes

This page was built for publication: The impossibility of implementing reliable communication in the face of crashes