1. Ancona, D., Fagorzi, S., Zucca, E.: A Parametric Calculus for Mobile Open Code. ENTCS 192, 3–22 (2008)
2. Baeten, J., Bergstra, J.A.: Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time. Fundamenta Informaticae 29, 51–76 (1997)
3. Berger, M.: Towards Abstractions For Distributed Systems Imperial College, Department of Computing (2002)
4. Lecture Notes in Computer Science;L. Bettini,2003
5. Bugliesi, M., Giunti, M.: Secure Implementations of Typed Channel Abstractions. In: Proc. of POPL, pp. 251–262. ACM, New York (2007)