R. Amadio, I. Castellani, and D. Sangiorgi, On bisimulations for the asynchronous ?-calculus, Theoretical Computer Science, vol.195, pp.291-324, 1998.
DOI : 10.1007/3-540-61604-7_53
URL : https://hal.archives-ouvertes.fr/inria-00073784

L. Cardelli, Semistructured computations. Proc. 7th Intl. workshop on Data Base Programming Languages (DBPL'99), 1999.

L. Cardelli, Describing Semistructured Data. SIGMOD Record, Database Principles Column, vol.30, 2001.
DOI : 10.1145/604264.604278
URL : http://www.sigmod.org/sigmod/record/issues/0112/dbp-gardelli.pdf

L. Cardelli and A. D. Gordon, Mobile ambients, Proc. FoSSaCS '98, vol.1378, pp.140-155, 1998.
DOI : 10.1016/s1571-0661(05)80699-1
URL : https://doi.org/10.1016/s1571-0661(05)80699-1

L. Cardelli and A. D. Gordon, , 1998.

L. Cardelli and A. D. Gordon, Types for mobile ambients, Proc. 26th POPL, pp.79-92, 1999.
DOI : 10.1145/292540.292550

L. Cardelli and A. Gordon, Anytime, Anywhere, Modal Logics for Mobile Ambients, Proc. of 27th POPL, pp.365-377, 2000.

L. Cardelli and A. Gordon, Logical Properties of Name Restriction, Proc. of TLCA'01, vol.2044, 2001.

L. Cardelli and G. Ghelli, A query language for semistructured data based on the ambient logic, Mathematical Structures in Computer Science, vol.14, issue.3, pp.285-327, 2004.

L. Caires and E. Lozes, Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency, Proc. of CONCUR'04, vol.3170, pp.240-257, 2004.

S. Dal-zilio, Structural Congruence for Ambients is Decidable, Proc. of ASIAN'00, vol.1961, 2000.

S. Graf and J. Sifakis, A modal characterization of observational congruence on finite terms of CCS. Information and Control, vol.68, pp.125-145, 1986.

D. Hirschkoff, An Extensional Spatial Logic for Mobile Processes, Proc. of CONCUR'04, vol.3170, pp.325-339, 2004.
DOI : 10.1007/978-3-540-28644-8_21

D. Hirschkoff, E. Lozes, D. Sangiorgi, and . Separability, Expressiveness and Decidability in the Ambient Logic, 17th IEEE Symposium on Logic in Computer Science, pp.423-432, 2002.
URL : https://hal.archives-ouvertes.fr/hal-02101816

D. Hirschkoff, E. Lozes, and D. Sangiorgi, Minimality Results for the Spatial Logics, Proc. of FSTTCS'03, vol.2914, pp.252-264, 2003.

D. Hirschkoff, E. Lozes, and D. Sangiorgi, On the separability of the ambient logic, 2005.

M. Hennessy and R. Milner, Algebraic laws for nondeterminism and concurrency, Journal of the ACM, vol.32, pp.137-161, 1985.
DOI : 10.1145/2455.2460
URL : https://www.scss.tcd.ie/Matthew.Hennessy/pubs/old/HMjacm85.pdf

F. Levi and D. Sangiorgi, Controlling interference in ambients. Short version appeared in, Proc. 27th POPL, 2000.
DOI : 10.1145/325694.325741

F. Levi and D. Sangiorgi, Mobile Safe Ambients, Short version appeared in Proc. 27th POPL, vol.25, pp.1-69, 2003.
DOI : 10.1145/596980.596981

R. Milner, Communicating and Mobile Systems: the ?-Calculus, 1999.

J. Reynolds, Separation logic: a logic for shared mutable data structures, 17th IEEE Symposium on Logic in Computer Science, 2002.
DOI : 10.1109/lics.2002.1029817
URL : http://ttic.uchicago.edu/~dreyer/seplogic.pdf

D. Sangiorgi, Extensionality and Intensionality of the Ambient Logic, Proc. of 28th POPL, pp.4-17, 2001.
DOI : 10.1145/360204.375707

B. Steffen and A. Ingólfsdóttir, Characteristic formulae for processes with divergence. Information and Computation, vol.110, pp.149-163, 1994.
DOI : 10.1006/inco.1994.1028
URL : https://doi.org/10.1006/inco.1994.1028

D. Sangiorgi and D. Walker, The ?-calculus: a Theory of Mobile Processes, 2001.