@inproceedings{conf/lics/LanesePSS08,
title = {On the Expressiveness and Decidability of Higher-Order Process Calculi.},
author = {Ivan Lanese and Jorge A. Pérez and Davide Sangiorgi and Alan Schmitt},
booktitle = {LICS},
crossref = {conf/lics/2008},
pages = {145-155},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2008.html#LanesePSS08},
year = {2008},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.8}, isbn = {978-0-7695-3183-0}, date = {2008-06-28},
keywords = {dblp }
}
::