Fair Synthesis for Asynchronous Distributed Systems.
Paul GastinNathalie SznajderPublished in: ACM Trans. Comput. Log. (2013)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- message passing
- fault tolerance
- geographically distributed
- operating system
- distributed computing
- real time systems
- distributed database systems
- deadlock detection
- concurrent systems
- data availability
- high assurance
- case study
- data replication
- loosely coupled
- mobile computing
- agent technology
- distributed databases