On the expressiveness of forwarding in higher-order communication (2009)

by C Di Giusto, J A Pérez, G Zavattaro
Venue:In ICTAC, volume 5684 of LNCS