Specifying and Proving Properties of Guardians for Distributed Systems.
Carl HewittGiuseppe AttardiHenry LiebermanPublished in: Semantics of Concurrent Computation (1979)
Keyphrases
- distributed systems
- distributed environment
- fault tolerant
- geographically distributed
- load balancing
- message passing
- distributed computing
- fault tolerance
- loosely coupled
- mobile agents
- real time systems
- data replication
- concurrent systems
- security policies
- agent technology
- distributed database systems
- databases
- intelligent agents
- database