Luís Caires, Carla Ferreira, António Ravara. A simple proof system for lock-free concurrency. In Alex Simpson, editor, International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010. Volume 12 of EPiC Series, pages 1-3, EasyChair, 2010. [doi]
@inproceedings{CairesFR10,
title = {A simple proof system for lock-free concurrency},
author = {Luís Caires and Carla Ferreira and António Ravara},
year = {2010},
url = {http://www.easychair.org/publications/?page=1535150574},
researchr = {https://researchr.org/publication/CairesFR10},
cites = {0},
citedby = {0},
pages = {1-3},
booktitle = {International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010},
editor = {Alex Simpson},
volume = {12},
series = {EPiC Series},
publisher = {EasyChair},
}