Formalizing and Validating the P-Store Replicated Data Store in Maude.

Peter Csaba Ölveczky

Published in: WADT (2016)

Keyphrases

replicated data
distributed databases
digital libraries
database
databases
artificial intelligence
case study
distributed database systems