Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability

Armando CastaƱeda, Sergio Rajsbaum, Michel Raynal. Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability. Journal of the ACM, 65(6), 2018. [doi]

Abstract

Abstract is missing.