[1]   J. C. M. Baeten, editor. Applications of Process Algebra, volume 17 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1990. doi:10.1017/CBO9780511608841

[2]   J. C. M. Baeten and W. P. Weijland. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1990. doi:10.1017/CBO9780511624193

[3]   S. Mauw and G. J. Veltink, editors. Algebraic Specification of Communication Protocols, volume 36 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1993. doi:10. 1017/CBO9780511721625

[4]   W. J. Fokkink. Introduction to Process Algebra. Texts in Theoretical Computer Science, An EATCS Series. Springer-Verlag, Berlin, 2000. doi:10.1007/978-3-662-04293-9

[5]   J. C. M. Baeten and C. A. Middelburg. Process Algebra with Timing. Monographs in Theoretical Computer Science, An EATCS Series. Springer-Verlag, Berlin, 2002. doi:10.1007/978-3-662-04995-2

[6]   W. J. Fokkink. Modelling Distributed Systems. Texts in Theoretical Computer Science, An EATCS Series. Springer-Verlag, Berlin, 2007. doi:10.1007/978-3-540-73938-8