R. Amadio, I. Castellani, and D. Sangiorgi, On bisimulations for the asynchronous ??-calculus, Theoretical Computer Science, vol.195, issue.2, pp.291-324, 1998.
DOI : 10.1016/S0304-3975(97)00223-5
URL : https://hal.archives-ouvertes.fr/inria-00073784

P. Baldan, A. Bracciali, and R. Bruni, A semantic framework for open processes, Theoretical Computer Science, vol.389, issue.3, pp.446-483, 2007.
DOI : 10.1016/j.tcs.2007.09.004

F. Bonchi, F. Gadducci, and G. V. Monreale, On Barbs and Labels in Reactive Systems, Electronic Proceedings in Theoretical Computer Science, vol.18, pp.46-61, 2009.
DOI : 10.4204/EPTCS.18.4

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

F. Bonchi, F. Gadducci, and G. V. Monreale, Towards a General Theory of Barbs, Contexts and Labels, APLAS 2011, pp.289-304, 2011.
DOI : 10.1007/978-3-540-31794-4_9
URL : https://hal.archives-ouvertes.fr/hal-00798068

F. Bonchi, B. König, and U. Montanari, Saturated Semantics for Reactive Systems, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), pp.69-80, 2006.
DOI : 10.1109/LICS.2006.46
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.1073

R. Bruni, D. De-frutos-escrig, N. Martí-oliet, and U. Montanari, Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic, CONCUR 2000, pp.259-274, 2000.
DOI : 10.1007/3-540-44618-4_20

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
URL : http://doi.org/10.1016/s1571-0661(05)80699-1

D. Gianantonio, P. Honsell, F. Lenisa, and M. , RPO, second-order contexts, and ?calculus, Logical Methods in Computer Science, vol.5, issue.3, 2009.

C. Fournet and G. Gonthier, A hierarchy of equivalences for asynchronous calculi, JLAP, vol.63, issue.1, pp.131-173, 2005.

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

F. Gadducci, G. V. Monreale, and U. Montanari, A Modular LTS for Open Reactive Systems, IFIP TCS, pp.134-148, 2012.
DOI : 10.1007/978-3-642-33475-7_10

K. Honda and N. Yoshida, On reduction-based process semantics, Theoretical Computer Science, vol.151, issue.2, pp.437-486, 1995.
DOI : 10.1016/0304-3975(95)00074-7
URL : http://doi.org/10.1016/0304-3975(95)00074-7

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, P. Sobocinski, J. L. Fiadeiro, N. Harman et al., Labels from Reductions: Towards a General Theory, CALCO 2005, pp.30-50, 2005.
DOI : 10.1007/11548133_2

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

R. Milner and D. Sangiorgi, Barbed bisimulation, ICALP 1992, pp.685-695, 1992.
DOI : 10.1007/3-540-55719-9_114

J. Rathke, V. Sassone, and P. Sobocinski, Semantic Barbs and Biorthogonality, FoSSaCS 2007, pp.302-316, 2007.
DOI : 10.1007/978-3-540-71389-0_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.5896

J. Rathke and P. Soboci´nskisoboci´nski, Deriving structural labelled transitions for mobile ambients, CONCUR 2008, pp.462-476, 2008.

A. Rensink, Bisimilarity of open terms, IC, vol.156, issue.12, pp.345-385, 2000.

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