Ido Ben-Zvi

According to our database, Ido Ben-Zvi authored at least 7 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Beyond Lamport's <i>Happened-before</i>: On Time Bounds and the Ordering of Events in Distributed Systems.

Ido Ben-Zvi, Yoram Moses

J. ACM, 2014

2013

The Shape of Reactive Coordination Tasks.

Ido Ben-Zvi, Yoram Moses

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Agent-Time Epistemics and Coordination.

Ido Ben-Zvi, Yoram Moses

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2011

On interactive knowledge with bounded communication.

Ido Ben-Zvi, Yoram Moses

J. Appl. Non Class. Logics, 2011

Causality, Knowledge and Coordination in Distributed Systems

Ido Ben-Zvi

CoRR, 2011

Known unknowns: time bounds and knowledge of ignorance.

Ido Ben-Zvi, Yoram Moses

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

2010

Beyond Lamport's <i>Happened-Before</i>: On the Role of Time Bounds in Synchronous Systems.

Ido Ben-Zvi, Yoram Moses

Proceedings of the Distributed Computing, 24th International Symposium, 2010