| Process algebra JCM Baeten, WP Weijland Cambridge university press, 1991 | 1995 | 1991 |
| Real time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 3, 142-188, 1991 | 571 | 1991 |
| A brief history of process algebra JCM Baeten Theoretical Computer Science 335 (2-3), 131-146, 2005 | 560 | 2005 |
| Process algebra: equational theories of communicating processes JCM Baeten, T Basten, T Basten, MA Reniers Cambridge university press, 2010 | 286 | 2010 |
| Syntax and defining equations for an interrupt mechanism in process algebra JCM Baeten, JA Bergstra, JW Klop Fundamenta Informaticae 9 (2), 127-167, 1986 | 255 | 1986 |
| Process algebra with timing JCM Baeten, CA Middelburg Springer Science & Business Media, 2002 | 229 | 2002 |
| On the consistency of Koomen's fair abstraction rule JCM Baeten, JA Bergstra, JW Klop Theoretical Computer Science 51 (1-2), 129-176, 1987 | 209 | 1987 |
| Decidability of bisimulation equivalence for process generating context-free languages JCM Baeten, JA Bergstra, JW Klop Journal of the ACM (JACM) 40 (3), 653-682, 1993 | 187 | 1993 |
| Global renaming operators in concrete process algebra JCM Baeten, JA Bergstra Information and Computation 78 (3), 205-245, 1988 | 172 | 1988 |
| Decidability of bisimulation equivalence for processes generating context-free languages JA Bergstra, JCM Baeten, JW Klop Lecture Notes in Computer Science 259, 94-111, 1987 | 157 | 1987 |
| Axiomatizing probabilistic processes: ACP with generative probabilities JCM Baeten, JA Bergstra, SA Smolka Information and Computation 121 (2), 234-255, 1995 | 136 | 1995 |
| A congruence theorem for structured operational semantics with predicates JCM Baeten, C Verhoef CONCUR 93, 477-492, 1993 | 136 | 1993 |
| Process Algebra, volume 18 of JCM Baeten, WP Weijland Cambridge tracts in theoretical computer science, 141-147, 1990 | 132 | 1990 |
| Concrete process algebra JCM Baeten, C Verhoef Eindhoven University of Technology, Department of Mathematics and Computing …, 1995 | 129 | 1995 |
| Ready-trace semantics for concrete process algebra with the priority operator JCM Baeten, JA Bergstra, JW Klop The Computer Journal 30 (6), 498-506, 1987 | 103 | 1987 |
| Discrete time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 8, 188-208, 1996 | 102 | 1996 |
| Process algebra with timing: Real time and discrete time JCM Baeten, CA Middelburg Handbook of process algebra, 627-684, 2001 | 88 | 2001 |
| Process algebra with signals and conditions JCM Baeten, JA Bergstra Programming and Mathematical Method: International Summer School, 273-323, 1992 | 86 | 1992 |
| Another look at abstraction in process algebra JCM Baeten, RJ van Glabbeek Centrum voor Wiskunde en Informatica, 1987 | 81 | 1987 |
| Term-rewriting systems with rule priorities JCM Baeten, JA Bergstra, JW Klop, WP Weijland Theoretical Computer Science 67 (2-3), 283-301, 1989 | 73 | 1989 |
