Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP.
Luc BougéPublished in: Theor. Comput. Sci. (1987)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- geographically distributed
- fault tolerance
- load balancing
- mobile agents
- message passing
- deadlock detection
- real time systems
- distributed computing
- constraint satisfaction problems
- distributed database systems
- loosely coupled
- security policies
- operating system
- asynchronous communication
- case study
- agent technology
- constraint satisfaction
- mobile computing
- database systems