WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems.
Ji-Yong ShinJieung KimWolf HonoréHernán VanzettoSrihari RadhakrishnanMahesh BalakrishnanZhong ShaoPublished in: SoCC (2019)
Keyphrases
- distributed systems
- load balancing
- fault tolerance
- distributed environment
- fault tolerant
- concurrent systems
- mobile agents
- geographically distributed
- distributed computing
- distributed database systems
- operating system
- security policies
- real time systems
- databases
- loosely coupled
- data replication
- sufficient conditions
- deadlock detection
- mobile computing
- high availability
- replicated data