F. Bonchi, F. Gadducci, and G. V. Monreale, Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding), Electronic Notes in Theoretical Computer Science, vol.242, issue.1, pp.73-98, 2009.
DOI : 10.1016/j.entcs.2009.06.014
URL : http://doi.org/10.1016/j.entcs.2009.06.014

F. Bonchi, F. Gadducci, and G. V. Monreale, Reactive Systems, Barbed Semantics, and the Mobile Ambients, FoSSaCS 2009, pp.272-287, 2009.
DOI : 10.1007/978-3-540-71389-0_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.7784

B. Bruni, F. Gadducci, U. Montanari, and P. Sobocinski, Deriving Weak Bisimulation Congruences from Reduction Systems, CONCUR 2005, pp.293-307, 2005.
DOI : 10.1007/11539452_24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.1509

R. Bruni, J. Meseguer, and U. Montanari, Symmetric monoidal and cartesian double categories as a semantic framework for tile logic, Mathematical Structures in Computer Science, vol.12, issue.01, pp.53-90, 2002.
DOI : 10.1017/S0960129501003462

L. Cardelli and A. Gordon, Mobile ambients, Theoretical Computer Science, vol.240, issue.1, pp.177-213, 2000.
DOI : 10.1016/S0304-3975(99)00231-5

F. Gadducci and U. Montanari, The tile model In: Proof, Language and Interaction: Essays in Honour of Robin Milner, pp.133-166, 2000.

G. Kelly and R. Street, Review of the elements of 2-categories, In: Sydney Category Seminar. LNM, vol.3, pp.75-103, 1974.
DOI : 10.1016/0022-4049(72)90019-9

B. Klin, V. Sassone, and P. Sobocinski, Labels from Reductions: Towards a General Theory, CALCO 2005, pp.30-50, 2005.
DOI : 10.1007/11548133_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.3391

J. Leifer and R. Milner, Deriving Bisimulation Congruences for Reactive Systems, CONCUR 2000, pp.243-258, 2000.
DOI : 10.1007/3-540-44618-4_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.9271

S. Maclane, Categorical algebra, Bulletin of the American Mathematical Society, vol.71, issue.1, pp.40-106, 1965.
DOI : 10.1090/S0002-9904-1965-11234-4

M. Merro and F. Zappa-nardelli, Behavioral theory for mobile ambients, Journal of the ACM, vol.52, issue.6, pp.961-1023, 2005.
DOI : 10.1145/1101821.1101825

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

P. Palmquist, The double category of adjoint squares, In: Midwest Category Seminar . LNM, vol.17, pp.123-153, 1971.
DOI : 10.4153/CJM-1965-076-0

A. Power, An abstract formulation for rewrite systems, CTCS 1989, pp.300-312, 1989.
DOI : 10.1007/BFb0018358

J. Rathke and P. Soboci´nskisoboci´nski, Deriving structural labelled transitions for mobile ambients, CONCUR 2008, pp.462-476, 2008.
DOI : 10.1016/j.ic.2010.06.001
URL : http://doi.org/10.1016/j.ic.2010.06.001

V. Sassone and P. Sobocinski, Deriving bisimulation congruences using 2-categories, Nordic Journal of Computing, vol.10, issue.2, pp.163-183, 2003.
DOI : 10.1007/3-540-36576-1_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.5487