Baeten, J. C. M., Bergstra, J. A., & Reniers, M. A. (2000). Discrete time process algebra with silent step. In G. Plotkin, C. Stirling, & M. Tofte (Eds.), Proof, Language and Interaction: Essays in Honour of Robin Milner (pp. 535-569). MIT Press.
Bergstra, J. A., & Bethke, I. (2000). Network algebra in Java. (J.A. Bergstra, Objects, classes, molecules and threads). Informatics Institute.
Bergstra, J. A., Bethke, I., & Ponse, A. (2000). Data flow networks in Java. In J. A. Bergstra (Ed.), Objects, classes, molecules and threads Faculteit der Natuurwetenschappen, Wiskunde en Informatica.
Bergstra, J. A., & Bethke, I. (2000). Network algebra in Java. In J. A. Bergstra (Ed.), Objects, classes, molecules and threads Faculteit der Natuurwetenschappen Wiskunde en InformaticaUVA.
Bergstra, J. A., Bethke, I., & Ponse, A. (2000). Basic Multi-Competence Programming. (Report P0001). Informatics Institute.
Bergstra, J. A., Bethke, I., & Loots, M. E. (2000). A First Course on C Program Reading. (Report P0002). Informatics Institute.
Baeten, J. C. M., & Bergstra, J. A. (2000). Mode Transfer in Process Algebra. (Report CSR; No. 00-01). TU Eindhoven.
Bergstra, J. A., & Loots, M. E. (2000). Program algebra and copogram calculus. In F. L. Bauer, & R. Steinbrüggen (Eds.), Foundations of Secure Computation (pp. 61-88). (NATO Science Series; No. 175). IOS Press.
Bergstra, J. A., & Ponse, A. (2000). Process algebra with four-valued logic. Journal of Applied Non-Classical Logics, 10(1), 27-53.
Bergstra, J. A., & Ponse, A. (2000). Bochvar-McCarthy logic and process algebra. Notre Dame Journal of Formal Logic, 39(4), 464-484.