Verification of distributed systems: an experiment.
Didier VergaminiPublished in: Formal Properties of Finite Automata and Applications (1988)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- message passing
- load balancing
- high assurance
- geographically distributed
- fault tolerance
- mobile agents
- distributed database systems
- operating system
- model checking
- distributed computing
- data replication
- case study
- security policies
- loosely coupled
- deadlock detection
- databases