1 citations · 1 across the 5 of their papers we have counts for
5 papers
Information Flow Guided Synthesis with Unbounded Communication
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information flow guided synthesis is a compositional approach to the automated construction of distributed systems where the assumptions between the components are captured as info…
Probable Approximate Coordination
Ariel Livshits, Yoram Moses
We study the problem of how to coordinate the actions of independent agents in a distributed system where message arrival times are unbounded, but are determined by an exponential…
Common Knowledge, Regained
Yannai A. Gonczarowski, Yoram Moses
For common knowledge to arise in dynamic settings, all players must simultaneously come to know it has arisen. Consequently, common knowledge cannot arise in many realistic setting…
Silence
Guy Goren, Yoram Moses
The cost of communication is a substantial factor affecting the scalability of many distributed applications. Every message sent can incur a cost in storage, computation, energy an…
An Optimal Self-Stabilizing Firing Squad
Danny Dolev, Ezra N. Hoch, Yoram Moses
Consider a fully connected network where up to processes may crash, and all processes start in an arbitrary memory state. The self-stabilizing firing squad problem consists of…