Modular Verification of Concurrency-Aware Linearizability

Hemed, Nir and Rinetzky, Noam and Vafeiadis, Viktor
(2015) Modular Verification of Concurrency-Aware Linearizability.
In: Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings.
Conference: DISC - International Symposium on Distributed Computing (was WDAG)

[img] Text
978-3-662-48653-5_25 - Published Version

Download (87kB)

Actions

Actions (login required)

View Item View Item