Jump to content

AmbientCalculiOnline

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 137.195.176.11 (talk) at 13:49, 30 March 2002. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Welcome to Ambient Calculi Online, the anyone-can-contribute collection of researchers, online papers, and other online resources for the Ambient calculus. Maintain it YOURSELF!

Researchers

(alphabetically ordered, feel free to add/update your information here)

Online papers

(current year in chronical order, others in alphabetical order. Links to ResearchIndex is highly recommended.)

- 2002 -

  • [Zim02] New! Pascal Zimmer. On the expressiveness of pure safe ambients. INRIA Research Report RR-4350, France, 2002. (Full version of [Zim00b])

- 2001 -

  • [Amt01] T. Amtoft. Causal type system for ambient movements. Submitted for publication. Available from:

http://www.cee.hw.ac.uk/~tamtoft/papers.html

  • [AKP01] T. Amtoft, A. J. Kfoury, and S. M. Pericas-Geertsen. What are Polymorphically-Typed Ambients? In David Sands, editor, ESOP'01, volume 2028 of LNCS, pages 206--220, Springer-Verlag, 2001. Longer version as a Boston University Tech. Report BUCS-TR-2000-021.
  • [BC01] M. Bugliesi and G. Castagna. Secure safe ambients. In Proc. POPL'01, the 28th ACM Symposium on Principles of Programming Languages, pages 222--235, London, 2001. ACM Press.
  • [CDG+01] W. Charatonik, S. Dal-Zilio, A. D. Gordon, S. Mukhopadhyay, and J. Talbot. The complexity of model checking ambients. In Proc. FOSSACS'01, volume 2032 of Lecture Notes in Computer Science, pages 152--167, Springer-Verlag, 2001.
  • [CG01a] L. Cardelli and G. Ghelli. A query language for semistructed data based on the ambient logic. In Proc. ESOP'01, volume 2028 of Lecture Notes in Computer Science, pages 1--22, Springer-Verlag, 2001.
  • [CGG01] L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the ambient calculus. To appear in I&C special issue on TCS'2000.
  • [CT01] W. Charatonik and J. Talbot. The decidability of model checking mobile ambients. Inn Proc. CSL'01, the 15th Annual Conference of the European Association for Computer Science Logic, LNCS, pages 339--354, 2001.
  • [Dal01] S. Dal-Zilio. Fixed points in the ambient logic. April 2001.
  • [LM01] F. Levi, S. Maffeis. An abstract interpretation framework for analysing mobile ambients. In Proc. SAS'01, volume 2126 of Lecture Notes in Computer Science, pp. 395-411, Springer-Verlag, 2001. http://www.di.unipi.it/~maffeis/aiamb.ps (Context)
  • [MH01] M. Merro and M. Hennessy. Bisimulation congruences in safe ambients. Computer Science Report 5/01. An extended abstract will appear in Proc. POPL'02.
  • [San01] D. Sangiorgi. Extensionality and intensionality of the ambient logics. In Proc. POPL'01, pages 4-17, ACM, 2001.
  • [SV01] D. Sangiorgi and A. Valente. A distributed abstract machine for safe ambients. In Proc. ICALP'01, volume 2076 of LNCS, pages 408--420, Springer-Verlag, 2001.

- 2000 -

  • [BCC00] Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Typed mobile objects. In Proc. CONCUR'2000, volume 1877 of LNCS, pages 504--520, 2000.
  • [CGG00] L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In Proc. of IFIP TCS2000, volume 1872 of Lecture Notes in Computer Science, pages 333--347, Springer-Verlag, 2000.
  • [DS00] M. Dezani-Ciancaglini and I. Salvo. Security types for mobile safe ambients. In Proc. ASIAN'00, volume 1961 of LNCS, pages 215--236, Springer-Verlag, 2000.
  • [DLB00] P. Degano, F. Levi and C. Bodei. Safe ambients: control flow analysis and security. In Proc. ASIAN'00, volume 1961 of LNCS, pages 199--214, Springer-Verlag, 2000.
  • [FLS00] C. Fournet, J. Levy, A. Schmitt. An asynchronous, distributed implementation of mobile ambients. In Proc. IFPI TCS2000, pages 348--364, Japan.
  • [LB00] F. Levi and C. Bodei. Security analysis for mobile ambients. In Proceedings of the Workshop on Issues in the Theory of Security, (co-located with ICALP 2000), pages 18--23, 2000.
  • [LS00] F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proc. POPL'00, pages 352--364, Boston, Massachusetts, Jan. 19-21, 2000.
  • [NN00a] H. R. Nielson and F. Nielson. Shape analysis for mobile ambients. In Proc. POPL'00, pages 142--154, ACM Press, 2000.
  • [NNS00] F. Nielson, H. R. Nielson, and M. 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.
  • [Zim00a] P. Zimmer. Subtyping and typing algorithms for mobile ambients. In FOSSACS'2000, Berlin, volume 1784 of Lecture Notes in Computer Science, pp. 375--390, Springer-Verlag, 2000.
  • [Zim00b] Pascal Zimmer. On the expressiveness of pure mobile ambients. In Proc. EXPRESS'00, volume 39 of Electronic Notes in Theoretical Computer Science, pages 81--104, Elsevier.

- 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. Also as a Microsoft Research Tech. Report MSR-TR-98-34.
  • [CG99] L. Cardelli and A. D. Gordon. Types for mobile ambients. In Proc. POPL'99, pages 79-92. ACM Press. 1999.
  • [CGG99] L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. Springer-Verlag, July 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
  • [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.
  • [HJNN99] R. R. Hansen, J. G. Jensen, F. Nielson, and 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 (Context)
  • [NNHJ99] F. Nielson, H. R. Nielson, R. R. Hansen, and J. G. Jensen. Validating firewalls in mobile ambients. In J. Baeten and S. Mauw, editors, Proc. CONCUR'99, volume 1664 of Lecture Notes in Computer Science, pages 463-477. Springer-Verlag, 1999.
  • [PP99] I. Petre and L. Petre. Mobile ambients and P-Systems. Turku Centre for Computer Science, TUCS Technical Report No. 293, June 1999.
  • [Sch99] Dmitri Schamschurko. A specification of the CORBA communication layer in the ambient calculus. In Proc. WADT'99, Bonas, France, 15-18 September 1999.
  • [Vig99] Maria Grazia Vigliotti. Transitions systems for the ambient calculus. Master thesis, Imperial College of Science, Technology and Medicine (University of London), September 1999. (Context)

- 1998 -

  • [CG98a] L. Cardelli and A. D. Gordon. Mobile ambients. In Maurice Nivat, editor, Proc. FOSSACS'98, volume 1378 of Lecture Notes in Computer Science, pages 140--155. Springer-Verlag, 1998. Also appear in Theoretical Computer Science, 240(1), pp.177-213, June 6, 2000.
  • [CG98b] L. Cardelli and A. D. Gordon. Mobile ambients - annex. unpublished notes, 1998.

- 1997 -

  • [Car97] L. Cardelli. Mobile ambient synchronization. SRC Technical Note 1997-013. DEC System Research Center, July 1997.
Retrieved from "https://en.wikipedia.org/w/index.php?title=AmbientCalculiOnline&oldid=41036"