Publication

Local pi-Calculus at Work: Mobile Objects as Mobile Processes (Full version)