Proving the Safety of Highly-Available Distributed Objects.
Sreeja S. NairGustavo PetriMarc ShapiroPublished in: ESOP (2020)
Keyphrases
- distributed systems
- multiple objects
- cooperative
- moving objects
- multi agent
- fault tolerant
- peer to peer
- distributed environment
- d objects
- real world objects
- mobile objects
- distributed network
- lightweight
- data objects
- database
- complex scenes
- object level
- communication overhead
- heterogeneous environments
- individual objects
- replicated databases