Mads Dam. Proof Systems for π-Calculus Logics. In Ruy J. G. B. de Queiroz, editor, Logic for Concurrency and Synchronisation. Volume 18 of Trends in Logic, pages 145-212, Kluwer, 2003. [doi]
@incollection{Dam03-0,
title = {Proof Systems for π-Calculus Logics},
author = {Mads Dam},
year = {2003},
doi = {10.1007/0-306-48088-3_4},
url = {https://doi.org/10.1007/0-306-48088-3_4},
researchr = {https://researchr.org/publication/Dam03-0},
cites = {0},
citedby = {0},
pages = {145-212},
booktitle = {Logic for Concurrency and Synchronisation},
editor = {Ruy J. G. B. de Queiroz},
volume = {18},
series = {Trends in Logic},
publisher = {Kluwer},
isbn = {978-1-4020-1270-9},
}