M. Berger, Basic Theory of Reduction Congruence for Two Timed Asynchronous ?-Calculi, Proc. of CONCUR'04, 2004.

J. Chen, A proof system for weak congruence in timed ?-calculus, 2004.

G. Ciobanu, Behaviour Equivalences in Timed Distributed ?-calculus. In Softwareintensive systems and new computing paradigms -challenges and visions, LNCS, vol.5380, pp.190-208, 2008.
DOI : 10.1007/978-3-540-89437-7_13

G. Ciobanu and C. Juravle, MCTools: A Software Platform for Mobility and Timed Interaction, 2009.

K. Honda and M. Tokoro, An object calculus for asynchronous communication, Proc. of ECOOP '91, pp.133-147, 1991.
DOI : 10.1007/BFb0057019

H. Kuwabara, S. Yuen, and K. Agusa, Congruence Properties for a Timed Extension of the ?-Calculus, Proc. of DSN2005 Workshop: Dependable Software, Tools and Methods, pp.207-214, 2005.

J. Y. Lee and J. Zic, On modeling real-time mobile processes, Proc. of ACSC'02, pp.139-147, 2002.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, parts I and II. Reports ECS-LFCS-89-85 and ECS-LFCS-89-86 86, 1989.

E. Posse, Modelling and Simulation of dynamic structure, discrete-event systems, 2008.

E. Posse, A real-time extension to the ?-calculus, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01055159

C. Prisacariu and G. Ciobanu, Timed Distributed ?-Calculus, 2005.

D. Sangiorgi, A theory of bisimulation for the ?-calculus, 1993.

S. Schneider, An operational semantics for Timed CSP. Information and Computation, 1995.
DOI : 10.1006/inco.1995.1014
URL : http://doi.org/10.1006/inco.1995.1014

D. N. Turner, The polymorphic Pi-calculus: Theory and Implementation, 1996.

B. P. Zeigler, H. Praehofer, and T. G. Kim, Theory of modeling and simulation, 2000.