Global serializability of concurrent programs

DOI10.1016/0304-3975(94)90053-1MaRDI QIDQ1318722zbMATH OpenOpenAlexFDO

Authors Béatrice Bérard

Publication date 5 April 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)90053-1

zbMATH Keywords

verificationatomicityconcurrent programsaction systemsglobal serializability

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Serialization of concurrent programs
• A criterion for atomicity
• scientific article; zbMATH DE number 3919823
• On atomicity in presence of non-atomic writes
• Sequential verification of serializability

Cites work

• scientific article; zbMATH DE number 3483531 (Why is no real title available?)
• A theorem on atomicity in distributed algorithms
• Atomic semantics of nonatomic programs
• Formal Aspects of Serializability in Database Concurrency Control
• Multilevel atomicity—a new correctness criterion for database concurrency control
• Myths about the mutual exclusion problem
• On describing the behavior and implementation of distributed systems
• On interprocess communication. II: Algorithms
• The serializability of concurrent database updates

Cited in

(7)

• Language Strength Reduction
• Serialization of concurrent programs
• Universally serializable computation
• Sequential verification of serializability
• On atomicity in presence of non-atomic writes
• Precise serialization for optimistic concurrency control
• scientific article; zbMATH DE number 1630111 (Why is no real title available?)

This page was built for publication: Global serializability of concurrent programs

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