On the expressiveness and decidability of higher-order process calculi,” (2011)

by I Lanese, J A Perez, D Sangiorgi, A Schmitt
Venue:Inf. Comput.,