Specification of the Behavior of Memory Operations in Distributed Systems.
Vicent CholviPublished in: Parallel Process. Lett. (1998)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- geographically distributed
- fault tolerance
- message passing
- emergent behavior
- mobile agents
- real time systems
- distributed database systems
- distributed computing
- concurrent systems
- data replication
- deadlock detection
- loosely coupled
- mobile computing
- data availability
- agent based systems
- replicated data
- formal specification
- multiagent systems