scientific article; zbMATH DE number 4084989

MaRDI QIDQ3814780zbMATH OpenFDO

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

Publication date 1988

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)

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

Cited in

(27)

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

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)