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
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;
Conference_Titel :
Electrical and Electronics Engineers in Israel (IEEEI), 2010 IEEE 26th Convention of
Conference_Location :
Eliat
Print_ISBN :
978-1-4244-8681-6
DOI :
10.1109/EEEI.2010.5662143
