B. Aman and G. Ciobanu, Mobile Ambients with Timers and Types, Proc. 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07), pp.50-63, 2007.
DOI : 10.1007/978-3-540-75292-9_4

B. Aman and G. Ciobanu, Timers and Proximities for Mobile Ambients, Proc. 2nd International Symposium on Computer Science in Russia (CSR'07), pp.33-43, 2007.
DOI : 10.1007/978-3-540-74510-5_7

J. C. Baeten and J. A. Bergstra, Real time process algebra, Centrum voor Wiskunde en Informatica (CWI), 1990.
DOI : 10.1109/TSE.1986.6313045
URL : https://dspace.library.uu.nl/bitstream/1874/12735/1/bergstra_91_real-time.pdf

J. C. Baeten and C. A. Middelburg, Process Algebra with Timing. Monographs in Computer Science. An EATSC series, 2002.

M. Ben-yehuda, M. D. Day, Z. Dubitzky, M. Factor, N. Har-'el et al., The Turtles project: Design and implementation of nested virtualization, Proc. 9th Symposium on Operating Systems Design and Implementation, pp.423-436, 2010.

M. Berger, Towards Abstractions for Distributed Systems, 2004.

O. Bra?evac, S. Erdweg, G. Salvaneschi, and M. Mezini, CPL: a core language for cloud computing, Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, pp.94-105, 2016.
DOI : 10.1145/1496091.1496100

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

L. Cardelli and A. D. Gordon, Equational properties of mobile ambients, Mathematical Structures in Computer Science, vol.13, issue.3, pp.371-408, 2003.

G. Ciobanu, Interaction in Time and Space, Electronic Notes in Theoretical Computer Science, vol.203, issue.3, pp.5-18, 2008.
DOI : 10.1016/j.entcs.2008.04.083

C. Fournet and G. Gonthier, A hierarchy of equivalences for asynchronous calculi, The Journal of Logic and Algebraic Programming, vol.63, issue.1, pp.131-173, 2005.
DOI : 10.1016/j.jlap.2004.01.006

R. P. Goldberg, Survey of virtual machine research, Computer, vol.7, issue.6, pp.34-45, 1974.
DOI : 10.1109/MC.1974.6323581

M. Hennessy and T. Regan, A Process Algebra for Timed Systems, Information and Computation, vol.117, issue.2, pp.221-239, 1995.
DOI : 10.1006/inco.1995.1041

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 : https://doi.org/10.1016/0304-3975(95)00074-7

E. B. Johnsen, R. Schlatte, and S. L. Tapia-tarifa, Integrating deployment architectures and resource consumption in timed object-oriented models, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.1, pp.67-91, 2015.
DOI : 10.1016/j.jlamp.2014.07.001

I. Lee, A. Philippou, and O. Sokolsky, Resources in process algebra, The Journal of Logic and Algebraic Programming, vol.72, issue.1, pp.98-122, 2007.
DOI : 10.1016/j.jlap.2007.02.005

M. Merro and M. Hennessy, A bisimulation-based semantic theory of Safe Ambients, ACM Transactions on Programming Languages and Systems, vol.28, issue.2, pp.290-330, 2006.
DOI : 10.1145/1119479.1119482

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

F. Moller and C. Tofts, A temporal calculus of communicating systems, Proc. CONCUR, pp.401-415, 1990.
DOI : 10.1007/BFb0039073

M. R. Mousavi, M. A. Reniers, T. Basten, and M. R. Chaudron, Pars, Process Algebra for Parallel and Distributed Processing. Chapman and Hall/CRC, 2008.
DOI : 10.1201/9781420064872.ch10

M. Murakami, Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System, 2013 International Symposium on Theoretical Aspects of Software Engineering, pp.149-152, 2013.
DOI : 10.1109/TASE.2013.28

X. Nicollin and J. Sifakis, The Algebra of Timed Processes, ATP: Theory and Application, Information and Computation, vol.114, issue.1, pp.131-178, 1994.
DOI : 10.1006/inco.1994.1083

D. Sangiorgi and D. Walker, The Pi-Calculus: A Theory of Mobile Processes, 2001.

I. Satoh and M. Tokoro, A Timed Calculus for Distributed Objects with Clocks, Proc. 7th European Conference on Object-Oriented Programming (ECOOP'93), pp.326-345, 1993.
DOI : 10.1007/3-540-47910-4_17

M. Vigliotti and I. Phillips, Barbs and Congruences for Safe Mobile Ambients, Electronic Notes in Theoretical Computer Science, vol.66, issue.3, pp.37-51, 2007.
DOI : 10.1016/S1571-0661(04)80415-8

D. Williams, H. Jamjoom, and H. Weatherspoon, The Xen-Blanket, Proceedings of the 7th ACM european conference on Computer Systems, EuroSys '12, pp.113-126, 2012.
DOI : 10.1145/2168836.2168849