Baeten, J.C.M.; Bravetti, M. (August 2005). "A Generic Process Algebra". Algebraic Process Calculi: The First Twenty Five Years and Beyond (BRICS Notes Series NS-05-3). Bertinoro, Forlì, Italy: BRICS, Department of Computer Science, University of Aarhus. Retrieved 2007-12-29.
doi.org
Sangiorgi, Davide (1993). "From π-calculus to higher-order π-calculus — and back". In Gaudel, M. -C.; Jouannaud, J. -P. (eds.). TAPSOFT'93: Theory and Practice of Software Development. Lecture Notes in Computer Science. Vol. 668. Springer Berlin Heidelberg. pp. 151–166. doi:10.1007/3-540-56610-4_62. ISBN9783540475989.
ipipan.waw.pl
Mazurkiewicz, Antoni (1995). "Introduction to Trace Theory". In Diekert, V.; Rozenberg, G. (eds.). The Book of Traces. Singapore: World Scientific. pp. 3–41. ISBN981-02-2058-8. Archived from the original(PostScript) on 2011-06-13. Retrieved 2009-04-29.
psu.edu
citeseerx.ist.psu.edu
Baeten, J. C. M.; Middelburg, C. A. (2000). "Process algebra with timing: Real time and discrete time": 627–684. CiteSeerX10.1.1.42.729. {{cite journal}}: Cite journal requires |journal= (help)
Mazurkiewicz, Antoni (1995). "Introduction to Trace Theory". In Diekert, V.; Rozenberg, G. (eds.). The Book of Traces. Singapore: World Scientific. pp. 3–41. ISBN981-02-2058-8. Archived from the original(PostScript) on 2011-06-13. Retrieved 2009-04-29.