On the Formal Specification of Protocols in Distributed Databases.

Günter Karjoth

Published in: ICCC (1986)

Keyphrases

distributed databases
formal specification
concurrency control protocols
model checking
commit protocols
protocol specification
specification languages

object oriented design
distributed environment
process algebra
concurrency control algorithms
data warehousing
formal methods
concurrency control

distributed database systems
replicated data
reverse engineering
transaction processing
software components
concurrent systems
data replication

decision makers
information systems
information technology
communication protocols
distributed systems
databases