The following publications are possibly variants of this publication:
- Bisimulation for Higher-Order Process CalculiDavide Sangiorgi. iandc, 131(2):141-178, 1996.
- Asynchronous process calculi: the first- and higher-order paradigmsDavide Sangiorgi. TCS, 253(2):311-350, 2001. [doi]
- On the expressiveness and decidability of higher-order process calculiIvan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt. iandc, 209(2):198-226, 2011. [doi]
- On the Expressiveness of Polyadicity in Higher-Order Process CalculiIvan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt. ictcs 2009: 143-149
- On the Expressiveness and Decidability of Higher-Order Process CalculiIvan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt. lics 2008: 145-155 [doi]