Introduction to Reliable Distributed Programming

Guerraoui, R., & Luís Rodrigues, I. t. R. D. P. (2006). Introduction to Reliable Distributed Programming. Springer.

Type

Book

Intellectual base

Textbook

Year

2006

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Terminating Reliable Broadcast
  • … some processes, the protocol ensures all correct recipients eventually agree either on the same message or on sender-failed, never split outcomes. to A proof states fault model, channels and failure-detector assumptions because deterministic termination is impossible in some asynchronous models without added power..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:a3689a9d9028 · see in the full table