Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties.
A. Udaya ShankarSimon S. LamPublished in: Distributed Comput. (1987)
Keyphrases
- distributed systems
- real time
- real time systems
- fault tolerant
- load balancing
- distributed environment
- fault tolerance
- geographically distributed
- message passing
- vision system
- distributed database systems
- operating system
- mobile agents
- data replication
- distributed computing
- intelligent vehicles
- safety critical
- concurrent systems
- agent based systems
- loosely coupled
- data intensive
- mobile computing
- monitoring system
- control system