DocumentCode
3496320
Title
Causality in synchronous systems
Author
Ben-Zvi, Ido Yoram ; Moses, Yoram
Author_Institution
Dept. of Comput. Sci., Technion - Israel Inst. of Technol., Haifa, Israel
fYear
2010
fDate
17-20 Nov. 2010
Abstract
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.
Keywords
causality; message passing; synchronisation; telecommunication computing; Centipede Theorem; Lamport happened-before relation; causality; ordered response problem; synchronous system; Analytical models; Context; History; Protocols; Relays; Synchronization;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Electronics Engineers in Israel (IEEEI), 2010 IEEE 26th Convention of
Conference_Location
Eliat
Print_ISBN
978-1-4244-8681-6
Type
conf
DOI
10.1109/EEEI.2010.5662143
Filename
5662143
Link To Document