Boxed Ambient I Salvo
28
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
28
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
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
Voir
- child communication
- distributed systems
- introduce parent
- methode formelle pour la mobilite
- ambient
- ambient calculus
- boxed ambient
- main motivation
Information Flow in Boxed Ambient
I. Salvo
a joint work (in progress) with: M. Bugliesi, G. Castagna, S. Crafa
journees“methodeformellepourlamobilite`”, Paris, December 6, 2002
1
•
•
•
•
Outline of the talk
From Mobile Ambients to NBA
Information Flow in Distributed Systems
A Type System for Information Flow in Boxed Ambients
Conclusions and Future Work
2
