scientific article; zbMATH DE number 4084989

zbMATH Open0663.68022MaRDI QIDQ3814780FDOQ3814780

Authors: Michael Merritt, William E. Weihl, Alan Fekete, Nancy Lynch 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4098709
• A theory of reliability in database systems
• A model for concurrency in nested transactions systems
• Introduction to the theory of nested transactions
• Serializability theory for replicated databases

zbMATH Keywords

serializabilitycorrectness proofstransaction processingatomic transactions

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (27)

• Using semantic knowledge of transactions to improve recovery and availability of replicated data
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Title not available (Why is that?)
• Virtual partition algorithm in a nested transaction environment and its correctness
• A proof technique for concurrency control and recovery algorithms for replicated databases
• Concurrency and availability as dual properties of replicated atomic data
• Distributed event algebras
• Commutativity-based concurrency control for abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Highly concurrent logically synchronous multicast
• Transaction synchronisation in object bases
• Introduction to the theory of nested transactions
• Atomic Cross-Chain Swaps
• Correctness proof of a database replication protocol under the perspective of the I/O automaton model
• Title not available (Why is that?)
• A theorem on atomicity in distributed algorithms
• Verifying atomic data types
• Title not available (Why is that?)
• Specifying modules to satisfy interfaces: A state transition system approach
• Atomic actions, and their refinements to isolated protocols
• I/O automata in Isabelle/HOL
• Formalizing process algebraic verifications in the calculus of constructions
• On confluence in the \(\pi\)-calculus
• Serializability theory for replicated databases
• Distributed implementation of systems with multiparty interactions and priorities
• Hybrid atomicity for nested transactions

This page was built for publication:

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