On the Expressiveness and Decidability of Higher-Order Process Calculi.

Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt

Browse the full LICS paper archive.