Login / Signup
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems.
Ankush Desai
Sanjit A. Seshia
Shaz Qadeer
David Broman
John C. Eidson
Published in:
CAV (2) (2015)
Keyphrases
</>
distributed systems
management system
high level
cooperative
intelligent systems
complex systems
information systems
multi agent
peer to peer
distributed object
distributed computation
peer to peer networks
distributed data
computing systems
fault tolerant
real time
knowledge base
data sets