Proving Lock-Freedom Easily and Automatically

Jia, Xiao and Li, Wei and Vafeiadis, Viktor
(2015) Proving Lock-Freedom Easily and Automatically.
In: Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015.
Conference: None | Not Set

Full text not available from this repository.
Official URL: http://doi.acm.org/10.1145/2676724.2693179

Actions

Actions (login required)

View Item View Item