scientific article; zbMATH DE number 4084989

MaRDI QIDQ3814780zbMATH OpenFDO

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

Publication date 1988

zbMATH Keywords

atomic transactionscorrectness proofsserializabilitytransaction processing

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20) 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

(30)

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

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)