A formal model for the deferred update replication technique

DOI10.1007/978-3-319-05119-2_14MaRDI QIDQ2830037zbMATH OpenOpenAlexFDO

Authors Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico M. Mendizabal

Publication date 9 November 2016

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-05119-2_14

Mathematics Subject Classification ID

Distributed systems (68M14) Database theory (68P15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A proof technique for concurrency control and recovery algorithms for replicated databases
• Serializability theory for replicated databases
• Correctness proof of a database replication protocol under the perspective of the I/O automaton model
• scientific article; zbMATH DE number 1950687
• scientific article; zbMATH DE number 1869813

Cites work

• Contextual Petri nets, asymmetric event structures, and processes
• Correctness proof of a database replication protocol under the perspective of the I/O automaton model
• Petri nets, event structures and domains. I
• The serializability of concurrent database updates

Cited in

(1)

• Correctness proof of a database replication protocol under the perspective of the I/O automaton model

This page was built for publication: A formal model for the deferred update replication technique

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2830037)