Process Algebra — PhD Theses

[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