The fault span of crash failures
From MaRDI portal
Publication:5385337
DOI10.1145/333979.333982zbMath1133.68303OpenAlexW2108162853MaRDI QIDQ5385337
George Varghese, Mahesh Jayaram
Publication date: 5 May 2008
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.5449
Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12)
Related Items (3)
Proof labeling schemes ⋮ Snap-stabilization in message-passing systems ⋮ Fast and compact self-stabilizing verification, computation, and fault detection of an MST
This page was built for publication: The fault span of crash failures
