Boxed Ambient I Salvo

Information Flow in Boxed Ambient I. Salvo a joint work (in progress) with: M. Bugliesi, G. Castagna, S. Crafa journees “methode formelle pour la mobilite”, Paris, December 6, 2002 1

• child communication


• distributed systems


• introduce parent


• methode formelle pour la mobilite


• ambient


• ambient calculus


• boxed ambient


• main motivation