Skip to content

Latest commit

 

History

History
80 lines (46 loc) · 5.59 KB

ambient-calculus-papers.md

File metadata and controls

80 lines (46 loc) · 5.59 KB
Raw

Ambient Calculus Papers

This document lists the all known ambient calculus research papers, including all ambient calculus variants.

If you know of a paper that is not included here, we'd love to include it! Feel free to open a PR that adds it to the list, or let us know by opening a new issue. We'd also be happy to accept PRs that improve this document, for example fulfils the TODOs.

Variants

Mobile Ambients

This is the original ambient calculus paper.

Cardelli, L. and Gordon, A. (1998) 'Mobile Ambients'.

http://lucacardelli.name/Papers/MobileAmbientsETAPS98.A4.pdf

Robust Ambients

Guan, X., Yang, Y. and You, J. (2000) 'Making Ambients More Robust'.

http://www-sop.inria.fr/mimosa/personnel/Xudong.Guan/papers/roam.pdf

Safe Ambients

Levi, F. and Sangiorgi, D. (2003) 'Mobile safe ambients', ACM Transactions on Programming Languages and Systems, 25(1), pp. 1–69. doi: 10.1145/596980.596981.

Safe Ambients with passwords

Merro, M. and Hennessy, M. (2002) 'Bisimulation congruences in safe ambients', in Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02. the 29th ACM SIGPLAN-SIGACT symposium, Portland, Oregon: ACM Press, pp. 71–80. doi: 10.1145/503272.503280.

Boxed Ambients

Bugliesi, M., Castagna, G. and Crafa, S. (2001) 'Boxed Ambients', in. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 38–63. doi: 10.1007/3-540-45500-0_2.

Controlled Ambients

TODO

Push & Pull Ambients

Phillips, I. and Vigliotti, M. G. (2002) 'On Reduction Semantics for the Push and Pull Ambient Calculus', in. Boston, MA: Springer US, pp. 550–562. doi: 10.1007/978-0-387-35608-2_45.

Self Opening Ambients

Coppo, M. and Dezani-Ciancaglini, M. (2002) 'A Fully Abstract Model for Higher-Order Mobile Ambients', in Cortesi, A. (ed.) Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, pp. 255–271.

Boundary Ambients

Braghin, C., Cortesi, A. and Focardi, R. (2008) 'Information flow security in Boundary Ambients', Information and Computation, 206(2–4), pp. 460–489. doi: 10.1016/j.ic.2007.12.001.

New Boxed Ambients

TODO

Ambients with process migration

TODO

Not yet categorized

Aman, B. and Ciobanu, G. (2012) 'Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps', in Sirjani, M. (ed.) Coordination Models and Languages. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 122–136. doi: 10.1007/978-3-642-30829-1_9.

Braghin, C. et al. (2004) 'Nesting analysis of mobile ambients', Computer Languages, Systems & Structures, 30(3–4), pp. 207–230. doi: 10.1016/j.cl.2004.02.004.

Bugliesi, M., Castagna, G. and Crafa, S. (2004) 'Access control for mobile agents: The calculus of boxed ambients', ACM Transactions on Programming Languages and Systems, 26(1), pp. 57–124. doi: 10.1145/963778.963781.

Busi, N. and Zavattaro, G. (2004) 'On the expressive power of movement and restriction in pure mobile ambients', Theoretical Computer Science, 322(3), pp. 477–515. doi: 10.1016/j.tcs.2003.10.040.

Busi, N. and Zavattaro, G. (2005) 'Deciding Reachability in Mobile Ambients', in. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 248–262. doi: 10.1007/978-3-540-31987-0_18.

Busi, N. and Zavattaro, G. (2009) 'Deciding reachability problems in Turing-complete fragments of Mobile Ambients', Mathematical Structures in Computer Science, 19(06), p. 1223. doi: 10.1017/s0960129509990181.

Cardelli, L., Ghelli, G. and Gordon, A. D. (1999) 'Mobility Types for Mobile Ambients', in Wiedermann, J., van Emde Boas, P., and Nielsen, M. (eds) Automata, Languages and Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 230–239. doi: 10.1007/3-540-48523-6_20.

Cardelli, L., Ghelli, G. and Gordon, A. D. (2000) 'Ambient Groups and Mobility Types', in van Leeuwen, J. et al. (eds) Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 333–347. doi: 10.1007/3-540-44929-9_25.

Cardelli, L., Ghelli, G. and Gordon, A. D. (2002) 'Types for the Ambient Calculus', Information and Computation, 177(2), pp. 160–194. doi: 10.1006/inco.2001.3121.

Cardelli, L. and Gordon, A. D. (2000) 'Anytime, anywhere: modal logics for mobile ambients', in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '00. the 27th ACM SIGPLAN-SIGACT symposium, Boston, MA, USA: ACM Press. doi: 10.1145/325694.325742.

Gorla, D. (2009) 'On the Relative Expressive Power of Ambient-Based Calculi', in. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 141–156. doi: 10.1007/978-3-642-00945-7_9.

Kumar, N. V. N. and Shyamasundar, R. K. (2015) 'Labelled mobile ambients model for information flow security in distributed systems', in Proceedings of the 8th International Conference on Security of Information and Networks - SIN '15. the 8th International Conference, Sochi, Russia: ACM Press. doi: 10.1145/2799979.2800012.

Levi, F. and Chiari, B. (2000) 'Security Analysis for Mobile Ambients'.

Peters, K. and Nestmann, U. (2018) 'On the Distributability of Mobile Ambients', Electronic Proceedings in Theoretical Computer Science, 276, pp. 104–121. doi: 10.4204/EPTCS.276.9.

Teller, D., Zimmer, P. and Hirschkoff, D. (2002) 'Using Ambients to Control Resources', in. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 288–303. doi: 10.1007/3-540-45694-5_20.

Teller, D., Zimmer, P. and Hirschkoff, D. (2004) 'Using Ambients to Control Resources (long version)', p. 20.