A Unified Formal Specification for a Multi-Consistency Replication System for DHTs.
Anne-Marie BosneagMonica BrockmeyerPublished in: ECBS (2005)
Keyphrases
- formal specification
- distributed systems
- replicated data
- model checking
- specification languages
- object oriented design
- specification language
- formal methods
- process algebra
- data abstraction
- reverse engineering
- distributed databases
- data replication
- concurrent systems
- databases
- temporal logic
- distributed environment
- overlay network
- case study