New Bisimulation Semantics for Distributed Systems.
David de Frutos-EscrigFernando Rosa-VelardoCarlos Gregorio-RodríguezPublished in: FORTE (2007)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- geographically distributed
- distributed environment
- message passing
- formal semantics
- mobile agents
- operating system
- concurrent systems
- loosely coupled
- data replication
- mobile computing
- distributed computing
- distributed database systems
- replicated data
- deadlock detection
- fault tolerance
- security policies
- object oriented
- case study