OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems.
Sang-Min ChoiJiho ParkQuan Hoang NguyenAndre CronjeKi-Young JangHyunjoon CheonYo-Sub HanByung-Ik AhnPublished in: CoRR (2018)
Keyphrases
- distributed systems
- fault tolerance
- load balancing
- fault tolerant
- distributed environment
- message passing
- distributed computing
- real time systems
- distributed database systems
- loosely coupled
- geographically distributed
- mobile agents
- deadlock detection
- databases
- probabilistic knowledge
- data replication
- knowledge base
- operating system
- data availability
- knowledge management
- replicated data