6 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.LO2013★ 5 cited
The Shape of Reactive Coordination Tasks
Ido Ben-Zvi, Yoram Moses
This paper studies the interaction between knowledge, time and coordination in systems in which timing information is available. Necessary conditions are given for the causal struc…
cs.MA2012
Agent-time Epistemics and Coordination
Ido Ben-Zvi, Yoram Moses
A minor change to the standard epistemic logical language, replacing with $K_{\node{i,t}}$ where is a time instance, gives rise to a generalized and more expressive for…
cs.LO2011★ 6 cited
Causality, Knowledge and Coordination in Distributed Systems
Ido Ben-Zvi
Effecting coordination across remote sites in a distributed system is an essential part of distributed computing, and also an inherent challenge. In 1978, an analysis of communicat…