|
| [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 ] |
| |
|
