Serialization of concurrent programs

DOI10.1016/0022-0000(89)90012-3zbMath0678.68109OpenAlexW2063341073MaRDI QIDQ1124386

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

databaseconsistencyconcurrent computationconcurrent transactions

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiserialization of iterated transactions
• Maximal serializability of iterated transactions
• Parallel program schemata
• The notions of consistency and predicate locks in a database system
• Parallel Program Schemata and Maximal Parallelism I. Fundamental Results

This page was built for publication: Serialization of concurrent programs