Knowledge-Based Synthesis of Distributed Systems Using Event Structures.
Mark BickfordRobert L. ConstableJoseph Y. HalpernSabina PetridePublished in: LPAR (2004)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- distributed environment
- real time systems
- fault tolerance
- deadlock detection
- message passing
- distributed computing
- loosely coupled
- mobile agents
- distributed database systems
- concurrent systems
- security policies
- geographically distributed
- operating system
- replicated data
- case study
- event detection
- database
- object oriented