Separating policy from correctness in concurrency control design
From MaRDI portal
Publication:3334061
DOI10.1002/SPE.4380140904zbMath0544.68020OpenAlexW1968853636MaRDI QIDQ3334061
Publication date: 1984
Published in: Software: Practice and Experience (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/spe.4380140904
parallel processingconcurrency controlserializabilitytransaction processingdatabase systemsmulti-microprocessor
This page was built for publication: Separating policy from correctness in concurrency control design