Introduction to Reliable Distributed Programming

DOI10.1007/3-540-28846-5MaRDI QIDQ5200810zbMATH OpenOpenAlexWikidataFDO

Authors Rachid Guerraoui, Luis Rodrigues

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Distributed systems (68M14) Theory of software (68N99)

Recommendations

• Introduction to Reliable and Secure Distributed Programming
• Distributed programming. Theory and practice.
• Modelling distributed systems.
• Practical distributed processing.
• Distributed Algorithms for Message-Passing Systems

Cited in

(13)

• On speculative replication of transactional systems
• HiperTM: high performance, fault-tolerant transactional memory
• Issues in formal methods
• Introduction to Reliable and Secure Distributed Programming
• On termination detection in crash-prone distributed systems with failure detectors
• scientific article; zbMATH DE number 2090561 (Why is no real title available?)
• Implementation and analysis of real-time communication protocol compositions
• scientific article; zbMATH DE number 839543 (Why is no real title available?)
• Reliable Distributed Systems
• Fault-tolerant message-passing distributed systems. An algorithmic approach
• scientific article; zbMATH DE number 517246 (Why is no real title available?)
• Distributed systems. Methods and tools for specification. An advanced course (Munich, April 3-12, 1984)
• Distributed programming. Theory and practice.

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200810)