Serializability in Distributed Systems with Handshaking.
Ralph-Johan BackReino Kurki-SuonioPublished in: ICALP (1988)
Keyphrases
- distributed systems
- distributed database systems
- data replication
- concurrency control
- nested transactions
- distributed environment
- load balancing
- fault tolerant
- multidatabase systems
- deadlock detection
- fault tolerance
- replicated data
- message passing
- operating system
- distributed computing
- geographically distributed
- loosely coupled
- transaction management
- concurrent systems
- concurrency control protocols
- mobile computing
- real time systems
- database
- correctness criterion
- mobile agents
- transaction processing
- security policies
- agent technology
- agent based systems
- model checking
- management system