On the consistency of Koomen's Fair Abstraction Rule

Algebra of communicating processes with abstraction

J.A. Bergstra, Jan Willem Klop · Theoretical Computer Science · 1985 · 630 citations

Computing, Computer Science, Algebra +7

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

Algebra of communicating processes

J.A. Bergstra, Jan Willem Klop · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1984 · 123 citations · Full text

Computing, Mathematics, Algebra +8

Mathematical Research

The Mathematical Intelligencer · 1981 · 104 citations

Top-down design and the algebra of communicating processes

J.A. Bergstra, Judith Tucker · Science of Computer Programming · 1985 · 45 citations

Computing, Computer Science, Computer Systems +11