inria > sophia
ensmp > cma
Mimosa
Migration and Mobility: Semantics and Applications
-- Semantics of Mobility





[Bou05e]Boudol, G. -- A generic membrane model -- Second Global Computing Workshop, Lecture Notes in Computer Science, 2005, pp. 209-222.
[ html ]
[TZH04b]Teller, D. and Zimmer, P. and Hirschkoff, D. -- Using ambients to control resources -- International Journal of Information Security, 22004, pp. 126--144.
[ pdf ]
[Bou04j]Boudol, G. -- A generic membrane model -- Second Global Computing Workshop, 2004.
[ html ]
[Zim03c]Zimmer, P. -- On the expressiveness of pure mobile ambients -- Electronic Notes in Theoretical Computer Science, 2003.
[ http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/express00.ps ]
[ABL03b]Amadio, R. and Boudol, G. and Lhoussaine, C. -- The receptive distributed pi-calculus -- TOPLAS, 25(5), 2003, pp. 549-577.
[ html ]
[TZH03b]Teller, D. and Zimmer, P. and Hirschkoff, D. -- Using ambients to control resources -- Schedae Informaticae, 122003, pp. 113--127.
[Zim03d]Zimmer, P. -- On the expressiveness of pure safe ambients -- Mathematical Structures in Computer Science, 132003, pp. 721--770.
[ http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/mscs_pure_ambients.ps ]
[ABL02b]Amadio, R. and Boudol, G. and Lhoussaine, C. -- On message deliverability and non-uniform receptivity -- Fundamenta Informaticae, 53(2), 2002, pp. 105-130.
[ html ]
[Zim02b]Zimmer, P. -- On the expressiveness of pure safe ambients -- INRIA Research Report RR-4350, 2002.
[ http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/RR-4350.ps ]
[TZH02c]Teller, D. and Zimmer, P. and Hirschkoff, D. -- Using ambients to control resources -- Proceedings of CONCUR 2002, LNCS, 2002, pp. 288--303.
[ http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/concur02.ps ]
[TZH02d]Teller, D. and Zimmer, P. and Hirschkoff, D. -- Using ambients to control resources -- LIP Research Report N. 2002-16, ENS Lyon, 2002.
[ http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/RR2002-16.ps ]
[BL00b]Boudol, G. and Laneve, C. -- \lambda-Calculus, Multiplicites and the \pi-Calculus -- Proof, Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing, May, 2000.
[ html ]
[Zim00c]Zimmer, P. -- Subtyping and Typing Algorithms for Mobile Ambients -- Proceedings of FOSSACS'00, LNCS, 2000, pp. 375--390.
[ http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/fossacs00.ps ]
[Zim00d]Zimmer, P. -- On the expressiveness of pure mobile mmbients -- Proceedings of EXPRESS'00 (Expressiveness in Concurrency), BRICS Notes Series NS-00-2, 2000.
[ http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/express00.ps ]

This Html page has been produced by Skribe.
Last update Thu Jan 15 11:30:19 2009.