A Formal Model for the Deferred Update Replication Technique

DOI10.1007/978-3-319-05119-2_14zbMath1348.68043OpenAlexW1466862080MaRDI QIDQ2830037

Odorico MacHado Mendizabal, Fernando Luís Dotti, Leila Ribeiro, Andrea Corradini

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

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

Cites Work

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

This page was built for publication: A Formal Model for the Deferred Update Replication Technique