Winskel, G.; Nardelli, F. Z. New-HOPLA--A Higher-Order Process Language With Name Generation. BRICS 2004, 11.