Introduction to Reliable Distributed Programming

DOI10.1007/3-540-28846-5zbMath1095.68007OpenAlexW2060953276WikidataQ62701287 ScholiaQ62701287MaRDI QIDQ5200810

Luis Henrique Rodrigues, Rachid Guerraoui

Publication date: 12 April 2006

Full work available at URL: https://doi.org/10.1007/3-540-28846-5

zbMATH Keywords

distributed systemmodular programming

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)

Related Items (4)

On speculative replication of transactional systems ⋮ On termination detection in crash-prone distributed systems with failure detectors ⋮ Implementation and analysis of real-time communication protocol compositions ⋮ HiperTM: high performance, fault-tolerant transactional memory

This page was built for publication: Introduction to Reliable Distributed Programming