Synthesis of Distributed Systems from Knowledge-Based Specifications.
Ron van der MeydenThomas WilkePublished in: CONCUR (2005)
Keyphrases
- distributed systems
- concurrent systems
- distributed environment
- fault tolerant
- load balancing
- message passing
- distributed computing
- fault tolerance
- operating system
- real time systems
- distributed database systems
- geographically distributed
- software architecture
- data replication
- deadlock detection
- program synthesis
- formal specification
- mobile agents
- loosely coupled
- replicated data
- wireless sensor networks
- database