A Formal Model of Crash Recovery in a Distributed System.
Dale SkeenMichael StonebrakerPublished in: Berkeley Workshop (1981)
Keyphrases
- formal model
- distributed systems
- distributed environment
- fault tolerance
- fault tolerant
- load balancing
- geographically distributed
- message passing
- security properties
- distributed database systems
- software architecture
- security patterns
- distributed computing
- loosely coupled
- operating system
- data replication
- formal models
- agent based systems
- case study
- mobile agents
- database management systems
- concurrent systems
- software development environments