Executable Specifications for Real-Time Distributed Systems.
Arnab RayRance CleavelandPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- distributed systems
- real time
- real time systems
- concurrent systems
- fault tolerant
- distributed environment
- formal specification
- geographically distributed
- load balancing
- fault tolerance
- mobile agents
- message passing
- distributed computing
- control flow
- data replication
- loosely coupled
- distributed database systems
- mobile computing
- agent technology
- operating system
- low cost
- control system
- deadlock detection
- database
- quality of service
- agent based systems