Bergstra, J. A., Bethke, I., & Rodenburg, P. H. (1995). A propositional logic with four values: true, false, divergent and meaningless. Journal of Applied Non-Classical Logics, 5, 199-217.
Brunekreef, J. J. (1995). On Modular Algebraic Protocol Specification. [Thesis, externally prepared, Universiteit van Amsterdam].
van Wamel, J. J. (1995). Verification Techniques for Elementary Data Types and Retransmission Protocols. [Thesis, fully internal, Universiteit van Amsterdam].
Bergstra, J. A., Fokkink, W. J., & Middelburg, C. A. (1995). Algebra of timed frames. (Logic Group Preprint Series; No. 148). Utrecht University.
Bergstra, J. A., & Middelburg, C. A. (1995). Process algebra semantics of $\varphi${SDL}. (Logic Group Preprint Series; No. 129). Utrecht University.
Bergstra, J. A., & Klint, P. (1995). The discrete time ToolBus. (Technical Report; No. P9502). onbekend (FdL).
Baeten, J. C. M., & Bergstra, J. A. (1995). Discrete time process algebra with abstraction. In H. Reichel (Ed.), FCT'95 (pp. 1-15). (Lecture Notes in Computer Science; No. 965). Springer-Verlag.
Baeten, J. C. M., & Bergstra, J. A. (1995). Process algebra with propositional signals. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), De proceedings: ACP'95 (pp. 213-228)
Baeten, J. C. M., Bergstra, J. A., & Stefanescu, G. (1995). Process algebra with feedback. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and Process Algebra (pp. 13-38). (CSLI Lecture Notes; No. 53). CSLI Publications.
Bergstra, J. A., & Stefanescu, G. (1995). Processes with multiple entries and exits. In H. Reichel (Ed.), FCT'95 (pp. 136-145). (Lecture Notes in Computer Science; No. 965). Springer-Verlag.