Mario Coppo Mariangiola Dezani-Ciancaglini Elio Giovannetti Types for ambient and process mobility. 221-290 2008 18 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129508006658 db/journals/mscs/mscs18.html#CoppoDG08