[1] W. P. Weijland. Synchrony and Asynchrony in Process Algebra. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1989.
[2] J. C. Mulder. Case Studies in Process Specification and Verification. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1990. Electronic version
[3] F. W. Vaandrager. Algebraic Techniques for Concurrency and their Applications. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1990.
[4] R. J. van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Centre for Mathematics and Computer Science, Amsterdam, 1990. Electronic version
[5] J. Zuidweg. Concurrent System Verification with Process Algebra. PhD thesis, University of Leiden, Leiden, 1990.
[6] J. F. Groote. Process Algebra and Structured Operational Semantics. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1991. Electronic version
[7] S. Mauw. PSF – A Process Specification Formalism. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1991.
[8] J. L. M. Vrancken. Studies in Process Algebra, Algebraic Specifications and Parallelism. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1991.
[9] A. Ponse. Process Algebras with Data. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1992.
[10] C. Verhoef. Linear Unary Operators in Process Algebra. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1992. Electronic version
[11] A. S. Klusener. Models and Axioms for a Fragment of Real Time Process Algebra. PhD thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, 1993. doi:10. 6100/IR408754
[12] W. J. Fokkink. Clocks, Trees and Stars in Process Theory. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1994. Electronic version
[13] H. P. Korver. Protocol Verification in μCRL. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1994.
[14] J. J. Brunekreef. On Modular Algebraic Protocol Specification. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1995.
[15] J. J. van Wamel. Verification Techniques for Elementary Data Types and Retransmission Protocols. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1995.
[16] G. J. Veltink. Tools for PSF. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 1995.
[17] J. O. Blanco. The State Operator in Process Algebra. PhD thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, 1996. doi:10.6100/IR455257
[18] M. P. A. Sellink. Computer-Aided Verification of Protocols, The Type Theoretic Approach. PhD thesis, Department of Philosophy, Utrecht University, Utrecht, 1996.
[19] J. M. S. van den Meerendonk. Specification and verification of a circuit in ACPdrt-ID. Master’s thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, 1996.
[20] J. J. Vereijken. Discrete Time Process Algebra. PhD thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, 1997. doi:10.6100/IR498558
[21] A. A. Basten. In Terms of Nets, System Design with Petri Nets and Process Algebra. PhD thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, 1998. doi:10.6100/IR516117
[22] S. Andova. Probabilistic Process Algebra. PhD thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, 2002. doi:10.6100/IR561343
[23] S. P. Luttik. Choice Quantification in Process Algebra. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 2002. Electronic version
[24] Y. S. Usenko. Linearization in μCRL. PhD thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, 2002. doi:10.6100/IR560176
[25] M. B. van der Zwaag. Models and Logics for Process Algebra. PhD thesis, Programming Research Group, University of Amsterdam, Amsterdam, 2002. Electronic version
[26] T. A. C. Willemse. Semantics and Verification in Process Algebras with Data and Timing. PhD thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, 2003. doi:10.6100/IR562056