Proving Opacity via Linearizability: A Sound and Complete Method

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-60225-7_4 ◽

2017 ◽

pp. 50-66 ◽

Cited By ~ 5

Author(s):

Alasdair Armstrong ◽

Brijesh Dongol ◽

Simon Doherty

Download Full-text