Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and Liveness in Concurrent Pointer Programs. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Volume 4111 of Lecture Notes in Computer Science, pages 280-312, Springer, 2005. [doi]
@inproceedings{DistefanoKR05,
title = {Safety and Liveness in Concurrent Pointer Programs},
author = {Dino Distefano and Joost-Pieter Katoen and Arend Rensink},
year = {2005},
doi = {10.1007/11804192_14},
url = {http://dx.doi.org/10.1007/11804192_14},
researchr = {https://researchr.org/publication/DistefanoKR05},
cites = {0},
citedby = {0},
pages = {280-312},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
volume = {4111},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-36749-7},
}