1. Milner, R.: Communication and Concurrency. In: International Series on Computer Science. Prentice Hall, Englewood Cliffs (1989)
2. Lévy, J.-J.: Réductions optimales en λ-calcul. PhD (1978)
3. Berry, G., Lévy, J.-J.: Minimal and optimal computation of recursive programs. JACM 26, 148–175 (1979)
4. Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the π-calculus process algebra. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Pacific Symposium on Biocomputing, vol. 6, pp. 459–470. World Scientific Press, Singapore (2001)
5. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters (2001)