Ivan Lanese Jorge A. Pérez Davide Sangiorgi Alan Schmitt On the Expressiveness and Decidability of Higher-Order Process Calculi. 145-155 2008 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2008.8 conf/lics/2008 db/conf/lics/lics2008.html#LanesePSS08