Causality in synchronous systems

Lamport's happened-before relation provides a starting point for an enquiry into causal relations in synchronous systems. We define the ordered response problem, a natural coordination task. By analyzing solutions to this task we arrive at the Centipede Theorem, that gives a concise characteriz...

Full description

Saved in:
Bibliographic Details
Main Authors: Ben-Zvi, Ido, Moses, Y
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Context
History
Protocols
Relays
Synchronization
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Lamport's happened-before relation provides a starting point for an enquiry into causal relations in synchronous systems. We define the ordered response problem, a natural coordination task. By analyzing solutions to this task we arrive at the Centipede Theorem, that gives a concise characterization of synchronous causality.
DOI:10.1109/EEEI.2010.5662143