book chapter · Springer eBooks · 2012
Atomicity: Formal Definition and Properties
Cited by 0Abstract and details only
Abstract
The index has no abstract for this paper. The publisher’s page may have one.
Cite this paper
Raynal, M. (2012). Atomicity: Formal Definition and Properties. Springer eBooks, 113–132. https://doi.org/10.1007/978-3-642-32027-9_4
Raynal, Michel. “Atomicity: Formal Definition and Properties.” Springer eBooks, 2012, pp. 113–32, https://doi.org/10.1007/978-3-642-32027-9_4.
Raynal, Michel. 2012. “Atomicity: Formal Definition and Properties.” Springer eBooks: 113–32. https://doi.org/10.1007/978-3-642-32027-9_4.
Raynal, M. (2012) ‘Atomicity: Formal Definition and Properties’, Springer eBooks, pp. 113–132. Available at: https://doi.org/10.1007/978-3-642-32027-9_4.
@incollection{raynal2012atomicity,
title = {{Atomicity: Formal Definition and Properties}},
author = {Raynal, Michel},
booktitle = {Springer eBooks},
pages = {113--132},
year = {2012},
doi = {10.1007/978-3-642-32027-9_4}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.
Related papers
Proving Atomicity: An Assertional Approach
Gregory V. Chockler, Nancy Lynch, Sayan Mitra et al. · Defense Technical Information Center (DTIC) · 2005
Cited by 3
Atomic Consistency (Linearizability)
Michel Raynal · Springer eBooks · 2013
Cited by 0
The Read/Write Register Abstraction
Michel Raynal · Springer eBooks · 2018
Cited by 0
Atomicity of concurrent programs
James H. Anderson, Mohamed G. Gouda · 1990
Cited by 2
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects
Michel Raynal, Matthieu Roy
Cited by 0
Specifying and checking semantic atomicity for multithreaded programs
Jacob S. Burnim, George C. Necula, Koushik Sen · ACM SIGPLAN Notices · 2012
Cited by 0