Process algebra for synchronous communication JA Bergstra, JW Klop Information and control 60 (1-3), 109-137, 1984 | 1485 | 1984 |
Algebra of communicating processes with abstraction JA Bergstra, JW Klop Theoretical computer science 37, 77-121, 1985 | 1103 | 1985 |
Handbook of process algebra JA Bergstra, A Ponse, SA Smolka Elsevier, 2001 | 936 | 2001 |
Real time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 3, 142-188, 1991 | 579 | 1991 |
Algebraic specification JA Bergstra ACM, 1989 | 489 | 1989 |
Conditional rewrite rules: Confluence and termination JA Bergstra, JW Klop Journal of Computer and System Sciences 32 (3), 323-362, 1986 | 328 | 1986 |
Global renaming operators in concrete process algebra JCM Baeten, JA Bergstra Information and Computation 78 (3), 205-245, 1988 | 280 | 1988 |
Syntax and defining equations for an interrupt mechanism in process algebra JCM Baeten, JA Bergstra, JW Klop Fundamenta Informaticae 9 (2), 127-167, 1986 | 269 | 1986 |
Module algebra JA Bergstra, J Heering, P Klint Journal of the ACM (JACM) 37 (2), 335-372, 1990 | 268 | 1990 |
On the consistency of Koomen's fair abstraction rule JCM Baeten, JA Bergstra, JW Klop Theoretical Computer Science 51 (1-2), 129-176, 1987 | 218 | 1987 |
The algebra of recursively defined processes and the algebra of regular processes JA Bergstra, JW Klop International Colloquium on Automata, Languages, and Programming, 82-94, 1984 | 213 | 1984 |
Algebra of communicating processes JA Bergstra, JW Klop Mathematics and Computer Science, CWI Monograph 1 (89-138), 9, 1986 | 201 | 1986 |
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 | 194 | 1993 |
A characterisation of computable data types by means of a finite equational specification method JA Bergstra, JV Tucker International Colloquium on Automata, Languages, and Programming, 76-90, 1980 | 186 | 1980 |
Algebraic specifications of computable and semicomputable data types JA Bergstra, JV Tucker Theoretical Computer Science 50 (2), 137-181, 1987 | 185 | 1987 |
The discrete time TOOLBUS—a software coordination architecture JA Bergstra, P Klint Science of Computer programming 31 (2-3), 205-229, 1998 | 166 | 1998 |
Program algebra for sequential code JA Bergstra, ME Loots The Journal of Logic and Algebraic Programming 51 (2), 125-156, 2002 | 163 | 2002 |
Decidability of bisimulation equivalence for processes generating context-free languages JCM Baeten, JA Bergstra, JW Klop International Conference on Parallel Architectures and Languages Europe, 94-111, 1987 | 162 | 1987 |
Process algebra with iteration and nesting JA Bergstra, I Bethke, A Ponse The Computer Journal 37 (4), 243-258, 1994 | 159 | 1994 |
Discrete time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 8, 188-208, 1996 | 157* | 1996 |