Serialization of concurrent programs

DOI10.1016/0022-0000(89)90012-3MaRDI QIDQ1124386zbMATH OpenOpenAlexFDO

Authors Marie-Paule Flé

Publication date 1989

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(89)90012-3

zbMATH Keywords

consistencydatabaseconcurrent computationconcurrent transactions

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Theory of operating systems (68N25)

Recommendations

• Global serializability of concurrent programs
• scientific article; zbMATH DE number 1630111
• Precise serialization for optimistic concurrency control
• scientific article; zbMATH DE number 1693546
• On serializability
• scientific article; zbMATH DE number 139616
• scientific article; zbMATH DE number 3919823

Cites work

• scientific article; zbMATH DE number 3896285 (Why is no real title available?)
• scientific article; zbMATH DE number 3970130 (Why is no real title available?)
• scientific article; zbMATH DE number 3714911 (Why is no real title available?)
• Maximal serializability of iterated transactions
• Multiserialization of iterated transactions
• Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
• Parallel program schemata
• The notions of consistency and predicate locks in a database system

Cited in

(23)

• Serializable histories in quantified propositional temporal logic
• scientific article; zbMATH DE number 3919823 (Why is no real title available?)
• Maximal serializability of iterated transactions
• scientific article; zbMATH DE number 3965471 (Why is no real title available?)
• scientific article; zbMATH DE number 4049032 (Why is no real title available?)
• Generalized theory of serializability
• I-serializability: generalized correctness for transaction-based environments
• Critique of the Lake Arrowhead three
• Global serializability of concurrent programs
• Universally serializable computation
• Reducing conflict graph of multi-step transactions accessing ordered data with gaps
• On serializability
• Sequential verification of serializability
• The serializability problem for a temporal logic of transaction queries
• Workflow concurrency control
• Operational specification with joint actions: Serializable databases
• scientific article; zbMATH DE number 1951113 (Why is no real title available?)
• Combinatoire des mots et étude quantitative de la sérialisabilité: Application à la concurrence d'accès à une base de données. (Combinatorics of words and the quantitative study of serializability: Application to the concurrence of database access)
• An algorithm for checking the serialization of execution of set of transactions
• Precise serialization for optimistic concurrency control
• Consistency and Serializability in Concurrent Database Systems
• scientific article; zbMATH DE number 1630111 (Why is no real title available?)
• scientific article; zbMATH DE number 4060693 (Why is no real title available?)

This page was built for publication: Serialization of concurrent programs

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