Observable behavior of distributed systems: Component reasoning for concurrent objects.
Crystal Chang DinJohan DovlandEinar Broch JohnsenOlaf OwePublished in: J. Log. Algebraic Methods Program. (2012)
Keyphrases
- distributed systems
- fault tolerant
- message passing
- distributed computing
- distributed environment
- geographically distributed
- mobile agents
- operating system
- fault tolerance
- load balancing
- d objects
- distributed database systems
- loosely coupled
- object model
- real time systems
- qualitative simulation
- agent based systems
- deadlock detection
- knowledge base
- emergent behavior
- database
- security policies
- dynamic environments
- description logics
- data replication
- replicated data
- concurrent systems
- real time