Wikipedia: AmbientCalculiOnline

Welcome to Ambient Calculi Online, the anyone-can-contribute collection of researchers, online papers, and other online resources for the Ambient calculus.
[MindIt!]: http://www.wikipedia.com/wiki/AmbientCalculiOnline

Researchers (alphabetical ordered)

[Torben Amtoft], BU, USA
[Chiara Bodei], UNIPI, IT
[Michele Bugliesi], UNIVE, IT
[Luca Cardelli], MSR
[Giuseppe Castagna], ENS, FR
[Witold Charatonik], MPI.MPG, DE
[Silvia Crafa], UNIVE, IT
[Silvano Dal-Zilio], MSR
[Pierpaolo Degano], UNIPI, IT
[Mariangiola Dezani-Ciancaglini], UNITO, IT
[Jerome Feret], ENS, FR
[C¨¦dric Fournet], MSR
[Giorgio Ghelli], UNIPI, IT
[Andrew D. Gordon], MSR
[Xudong Guan], SJTU, CN
[Matthew Hennessy], COGS, UK
[J. G. Jensen], AU, DK
[Assaf J. Kfoury], BU, USA
[Francesca Levi], UNIPI, IT
[Jean-Jacques Levy], INRIA, FR
[Sergio Maffeis], UNIPI, IT
[Massimo Merro], COGS,UK
[Supratik Mukhopadhyay]. PENN, USA
[Flemming Nielson], AAU, DK
[Hanne Riis Nielson], AAU, DK
[Santiago M. Pericas-Geertsen], BU, USA
[Ion Petre], UTU, FI
[Luigia Petre], ABO, FI
[Ivano Salvo], UNITO, IT
[Davide Sangiorgi]. INRIA, FR
[Dmitri Schamschurko], TU-DRESDEN, DE
[Alan Schmitt], INRIA, FR
[P. Stanski], MONASH, AU
[Jean-Marc Talbot], LIFL, FR
[A. Valente], UNITO, IT
[Maria Grazia Vigliotti], IC, UK
[Pascal Zimmer], INRIA, FR

Online papers (current year in chronical order, others in alphabetical order)

- 2001 -

[A01] New!Torben Amtoft. Causal Type System for Ambient Movements. Submitted for publication. http://types.bu.edu/reports/electronic/Amt:CauMov-2001.pdf.gz

[MH01] New! Massimo Merro and Matthew Hennessy. Bisimulation Congruences in Safe Ambients. COGS Technical report 2001:05. http://www.cogs.susx.ac.uk/reports.html. An extended abstract (http://www.cogs.susx.ac.uk/users/massimo/sap-short.ps.gz) will appear in the proceedings of POPL'02.

[CGG01] Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Types for the Ambient Calculus. To Appear. http://research.microsoft.com/Users/luca/Papers/Types%20for%20the%20Ambient%20Calculus.A4.ps

[Per01] Santiago M. Pericas-G. Channeled Ambients. Submitted for conference publication. http://cs-people.bu.edu/santiago/Papers/Per:TR-2001.ps

[BCC01a] M. Bugliesi, G. Castagna and S. Crafa. Boxed ambients. TACS 2001, LNCS, to appear. Available from: ftp://ftp.ens.fr/pub/di/users/castagna/

[BCC01b] M. Bugliesi, G. Castagna and S. Crafa. Reasoning about security in Mobile Ambients. In CONCUR 2001, LNCS to appear. ftp://ftp.ens.fr/pub/di/users/castagna/concur01a.ps.gz

[CGZ01] G. Castagna, G. Ghelli and F. Zappa Nardelli. Typing Mobility in the Seal Calculus. In CONCUR 2001, LNCS to appear. ftp://ftp.ens.fr/pub/di/users/castagna/concur01b.ps.gz

[CT01] Witold Charatonik and Jean-Marc Talbot. The decidability of model checking mobile ambients. To appear in Proc. CSL'01, the 15th Annual Conference of the European Association for Computer Science Logic. http://www.mpi-sb.mpg.de/~witold/papers/decidability.ps

[Dal01] S. Dal-Zilio. Fixed Points in the Ambient Logic. submitted, April 2001. http://research.microsoft.com/~sdal/Papers/puzzle.pdf

[Fer01] Jerome Feret. Abstract Interpretation-Based Static Analysis of Mobile Ambients. In Proc. SAS'01, volumn 2126 of Lecture Notes in Computer Science, pp. 412-430, Springer-Verlag, 2001. http://www.di.ens.fr/~feret/publication/ambients_sas01.ps.gz

[LM01] Francesca Levi, Sergio Maffeis. An Abstract Interpretation Framework for Analysing Mobile Ambients. In Proc. SAS'01, volumn 2126 of Lecture Notes in Computer Science, pp. 395-411, Springer-Verlag, 2001. http://www.di.unipi.it/~maffeis/aiamb.ps

[CDG+01] Witold Charatonik, S. Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay and Jean-Marc Talbot. The complexity of model checking ambients. In Proc. FOSSACS'01, volumn 2032 of Lecture Notes in Computer Science, pp. 152-167, Springer-Verlag, 2001. http://research.microsoft.com/~sdal/Papers/complexity.pdf (Supersedes the once [CDG+00].)

[SV01] D. Sangiorgi and A. Valente. A distributed abstract machine for safe ambients. To appear in Proc. ICALP'01. ftp://ftp-sop.inria.fr/meije/theorie-par/davides/pan.ps.gz

[AKP01] Torben Amtoft, Assaf J. Kfoury, and Santiago M. Pericas-Geertsen. What are Polymorphically-Typed Ambients? To appear in ESOP'2001 (LNCS). http://www.cs.bu.edu/associates/tamtoft/Papers/Amt+Kfo+Per:PolAmb-short.ps.gz Longer version as a Boston University Tech. Report [BUCS-TR-2000-021]. ([Slides])

[GYY01] X. Guan, Y. Yang and J. You. Typing evolving ambients. Information Processing Letters, 80(5), pp 265-270, Nov. 2001. http://www.twiki.org/cgi-bin/viewfile/Main/XudongGuan?rev=1.1&filename=teafull.ps.gz

[San01] Davide Sangiorgi. Extensionality and Intensionality of the Ambient Logics. In Proc. [POPL'01], pages 4-17, ACM, 2001. ftp://ftp-sop.inria.fr/meije/theorie-par/davides/ExtIntAmbLog.ps

[BC01] Michele Bugliesi and Giuseppe Castagna. Secure safe ambients. To appear in [POPL'01]. ftp://ftp.ens.fr/pub/dmi/users/castagna/popl01.ps.gz

- 2000 -

[BCC00] Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. [Typed mobile objects]. To appear in Proc. CONCUR'00.

[Car00] L. Cardelli. Mobility and security. Lecture notes for Marktoberdorf Summer School 1999. (A summary of several Ambient Calculus papers.) Foundations of Secure Computation, Friedrich L. Bauer and Ralf Steinbr?/font>ggen (Eds.), NATO Science Series, Proceedings of the NATO Advanced Study Institute on Foundations of Secure Computation, Marktoberdorf, Germany, 27 July - 8 August 1999. IOS Press, 2000. ISBN 1 58603 015 9 (amazon.com, search). pp. 3-37. http://research.microsoft.com/Users/luca/Papers/Mobility%20and%20Security.A4.pdf

[CG00a] L. Cardelli and A. D. Gordon. Anytime, anywhere, modal logics for mobile ambients]. In Proc. POPL'00, pp 365-377, Boston, Massachusetts, Jan. 19-21, 2000. http://research.microsoft.com/Users/luca/Papers/AnytimeAnywhere.A4.ps

[CG00b] L. Cardelli and G. Ghelli. A query language for semistructed data based on the ambient logic. Preliminary version, April 19.2000. ==> [CG01], In Proc. ESOP'01, volumn 2028 of Lecture Notes in Computer Science, pages. 1-22, Springer-Verlag, 2001. ftp://ftp.di.unipi.it/pub/Papers/ghelli/TQLFullDraft.ps

[CG00c] Luca Cardelli and Andrew D. Gordon. Logical properties of name restriction. Draft, 2000. http://research.microsoft.com/Users/luca/Papers/Logical%20Properties%20of%20Name%20Restriction.A4.ps

[CGG00] L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In Proc. of IFIP TCS2000, volumn 1872 of Lecture Notes in Computer Science, pp. 333-347, Springer-Verlag, 2000. http://research.microsoft.com/Users/luca/Papers/Ambient%20Groups%20and%20Mobility%20Types.A4.ps

[Dal00a] S. Dal-Zilio. Spatial congruence for ambients is decidable. In Proc. [ASIAN'00], volumn 1961 of Lecture Notes in Computer Science, pages 88-103, Springer-Verlag, 2000. Also as Technical Report MSR-TR-2000-41, Microsoft Research, May 2000. ftp://ftp.research.microsoft.com/pub/tr/tr-2000-41.ps

[DS00] M. Dezani-Ciancaglini and I. Salvo. Security types for mobile safe ambients. Accepted for publication in Proceeding of Asian Computing Science Conference ([ASIAN'00]), to appear. http://www.di.unito.it/~salvo/papers/ASIAN00.ps

[DLB00] P. Degano, F. Levi and C. Bodei. Safe ambients: control flow analysis and security. Proceedings of [ASIAN'00]. To appear in LNCS, Springer-Verlag. http://www.di.unipi.it/~levifran/publ/asian.ps

[FLS00] C¨¦dric Fournet, Jean-Jacques L¨¦vy, Alan Schmitt. An asynchronous, distributed implementation of mobile ambients. To appear in IFPI [TCS2000], Japan. http://www.research.microsoft.com/~fournet/papers/draft-ambients.ps

[GYY00] Xudong Guan, Yiling Yang, Jinyuan You. Making ambients more robust. In Proc. Intl. Conf. on Software: Theory and Practice, pp. 377--384, Beijing, China, Aug. 2000.http://go.163.com/mobileambient/roam-wcc2000.pdf

[LB00] Francesca Levi and Chiara Bodei. Security analysis for mobile ambients. presented at Workshop on Issues in the Theory of Security (WITS '00), University of Geneva, Switzerland. July 2000. http://www.dsi.unive.it/IFIPWG1_7/WITS2000/WITSfinal-papers/05.ps.gz

[LS00] F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proc. POPL'00, pp 352--364, Boston, Massachusetts, Jan. 19-21, 2000. ftp://ftp-sop.inria.fr/meije/theorie-par/davides/SafeAmbientsFull.ps.gz

[NN00a] H.R.Nielson, F.Nielson. Shape analysis for mobile ambients. To appear in Proc POPL'00. http://www.daimi.au.dk/~fn/Papers/NiNi00popl.ps

[NN00b] H. R. Nielson, F. Nielson. Hardest attackers. presented at Workshop on Issues in the Theory of Security (WITS '00), University of Geneva, Switzerland. July 2000. http://www.dsi.unive.it/IFIPWG1_7/WITS2000/WITSfinal-papers/04.ps.gz

[NNS00] Flemming Nielson, Hanne Riis Nielson, Mooly Sagiv. A Kleene analysis of mobile ambients. In Proc. ESOP'00, volume 1782 of Lecture Notes in Computer Science, pages 305-319. Springer-Verlag, 2000. http://www.math.tau.ac.il/~sagiv/nielson.ps

[Zim00a] Pascal Zimmer. Subtyping and typing algorithms for mobile ambients. In FOSSACS'2000, Berlin, volumn 1784 of Lecture Notes in Computer Science, pp. 375-390, Springer-Verlag, 2000. http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/fossacs00.ps.gz

[Zim00b] Pascal Zimmer. On the expressiveness of pure mobile ambients. To appear in the Proceedings of EXPRESS'00, ENTCS. http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/express00.ps.gz

- 1999 -

[Car99a] L. Cardelli. [Abstractions for mobile computation]. In J. Vitek and C. Jensen (eds), Secure Internet Programming: Security Issues for Mobile and Distributed Objects, volume 1603 of Lecture Notes in Computer Science, pages 51-94. Springer-Verlag, 1999.

[Car99b] L. Cardelli. Wide area computation. In Proc. ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 10-14. Springer-Verlag, 1999. http://research.microsoft.com/Users/luca/Papers/Wide%20Area%20Computation.A4.ps

[CG99] L. Cardelli and A. D. Gordon. Types for mobile ambients. In Proc. POPL'99, pages 79-92. ACM Press. 1999. http://research.microsoft.com/Users/luca/Papers/Types%20for%20Mobile%20Ambients.A4.ps

[CGG99] L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In Proc. ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 230-239. Spinger-Verlag, 1999. http://research.microsoft.com/~adg/Publications/msr-tr-99-32.ps

[FS99] C. Fournet and A. Schmitt. An implementation of ambients in JoCaml?. In [Proc. of MOS'99], 1999. http://cuiwww.unige.ch/~ecoopws/ws99/papers/ambdjn.ps.gz

[GC99] A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In Proc. FoSSaCS?'99, volume 1578 of Lecture Notes in Computer Science, pages 212-226. Springer-Verlag, 1999. http://research.microsoft.com/~adg/Publications/msr-tr-99-11.ps

[HJ99] R. R. Hansen, J. G. Jensen. Flow logics for mobile ambients. M.Sc. thesis. Aarhus University, Denmark, 1999. http://www.daimi.au.dk/~fn/Papers/specialeHJ.ps

[HJNN99] R. R. Hansen, J. G. Jensen, F. Nielson, H. R. Nielson. Abstract interpretation of mobile ambients. In Proc. SAS'99, volume 1694 of Lecture Notes in Computer Science, pages 134-148. Springer-Verlag, 1999. http://www.daimi.au.dk/~fn/Papers/HJNN99ai.ps

[NNHJ99] F. Nielson, H. R. Nielson, R. R. Hansen, J. G. Jensen. Validating firewalls in mobile ambients. In J. Baeten and S. Mauw, editors, Proc. CONCUR'99, volumn 1664 of Lecture Notes in Computer Science, pages 463-477. Springer-Verlag, 1999. http://www.daimi.au.dk/~fn/Papers/NNHJ99fire.ps

[PP99] I. Petre and L. Petre, Mobile ambients and P-Systems. TUCS Technical Report No. 293, July 1999. http://www.tucs.fi/publications/techreports/TR293.ps.gz

[Sch99] Dmitri Schamschurko. A specification of the CORBA communication layer in the ambient calculus. In Proc. [WADT'99], Bonas, France, 15-18 September 1999.

- 1998 -

[CG98a] L. Cardelli and A. D. Gordon. Mobile ambients. In Maurice Nivat, editor, Proc. FOSSACS'98, International Conference on Foundations of Software Science and Computation Structures, volume 1378 of Lecture Notes in Computer Science, pages 140-155. Springer-Verlag, 1998. Also published in Theoretical Computer Science, 240(1), pp.177-213, June 6, 2000. http://research.microsoft.com/Users/luca/Papers/MobileAmbients.A4.ps

[CG98b] L. Cardelli and A. D. Gordon. Mobile ambients - annex, unpublished notes, 1998. Available at: http://research.microsoft.com/Users/luca/Papers/MobileAmbientsAnnex.A4.ps

[SZ98] P. Stanski and A. Zaslavsky. Expressing dynamics of mobile agent systems using ambient calculus. MDDS Workshop at DEXA'98, Vienna. http://www.ct.monash.edu.au/~pstanski/research/papers/mdds-w95final.pdf

- 1997 -

[Car97] L. Cardelli. Mobile ambient synchronization. SRC Technical Note 1997-013. DEC System Research Center, July 1997. http://research.microsoft.com/Users/luca/Notes/SRCNote97-13.A4.ps

Links etc.

Mailing lists
- [MOCA] - the "models for mobility" mailing list (paper annoucement and discussion oriented, no CFPs)
- [The types forum]
- [The concurrency list]
Software
- [Ambit] - A java implemetation of mobile ambient, source/online applet available.
- [Another Java prototype for MA].
- [Control flow analysis for mobile ambients]
- [Ambient Calculus in JoCaml].
http://lampwww.epfl.ch/mobility/ - Calculi for Mobile Processes
http://join.inria.fr/ Join Calculus - Join calculus
http://music.dsi.unifi.it/klaim.html - The Klaim project
http://www.cs.purdue.edu/homes/jv/publist.html - Seal calculus

Subpages

/Talk - Where you can see the discussions about this page, and discuss with others.