The impossibility of implementing reliable communication in the face of crashes

DOI10.1145/174147.169676zbMath0795.68016MaRDI 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 networks; formal specification; lower bounds; I/O automata; communication protocol; connection reset

Mathematics Subject Classification ID

68M10: Network design and communication in computer systems

68Q60: Specification and verification (program logics, model checking, etc.)

68M15: Reliability, testing and fault tolerance of networks and computer systems

Related Items

Feasibility and complexity of broadcasting with random transmission failures, Highly concurrent logically synchronous multicast