A Formal Model of Crash Recovery in a Distributed System.
Dale SkeenMichael StonebrakerPublished in: IEEE Trans. Software Eng. (1983)
Keyphrases
- formal model
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- message passing
- software architecture
- distributed database systems
- mobile agents
- fault tolerance
- security properties
- operating system
- geographically distributed
- distributed computing
- data replication
- formal models
- distributed databases
- predicate calculus
- agent based systems
- concurrent systems
- case study
- agent technology
- mobile computing
- security patterns