J. C. M. Baeten

Real time process algebra

J. C. M. Baeten, J. A. Bergstra · Formal Aspects of Computing · 1991 · 369 citations · Full text

Computing, Computer Science, Formal Methods +13

A brief history of process algebra

J. C. M. Baeten · Theoretical Computer Science · 2005 · 317 citations · Full text

Computing, Computer Science, Algebra +13

Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1

J. C. M. Baeten, J.A. Bergstra, Jan Willem Klop · Fundamenta Informaticae · 1986 · 163 citations · Full text

Computing, Computer Science, Computer Systems +14

On the consistency of Koomen's Fair Abstraction Rule

J. C. M. Baeten, J.A. Bergstra, Jan Willem Klop · Theoretical Computer Science · 1987 · 145 citations · Full text

Computing, Computer Science, Formal Methods +2

Decidability of bisimulation equivalence for process generating context-free languages

J. C. M. Baeten, J.A. Bergstra, Jan Willem Klop · Journal of the ACM · 1993 · 142 citations · Full text

Computing, Computer Science, Formal Methods +10