Commit bc2174d8 authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add Biswas2019 on transactional complexity


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 05b34fae
......@@ -682,6 +682,25 @@
publisher = {Elsevier}
}
@Article{ biswas2019:transactions,
title = {On the Complexity of Checking Transactional Consistency},
author = {Biswas, Ranadeep and Enea, Constantin},
journal = {\bibPACMPL},
year = {2019},
month = oct,
issue_date = {October 2019},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {3},
number = {OOPSLA},
url = {https://doi.org/10.1145/3360591},
doi = {10.1145/3360591},
articleno = {165},
numpages = {28},
keywords = {consistency, axiomatic specifications, transactional
databases, testing}
}
@InProceedings{ boehm2008:model,
title = {Foundations of the {C++} concurrency memory model},
author = {Hans-Juergen Boehm and Sarita V. Adve},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment