Jan Willem Klop

Process algebra for synchronous communication

J.A. Bergstra, Jan Willem Klop · Information and Control · 1984 · 880 citations · Full text

Computing, Computer Science, Digital Communication +6

Term rewriting systems

Jan Willem Klop · Data Archiving and Networked Services (DANS) · 1990 · 783 citations

Computing, Computer Science, Formal Methods +14

Algebra of communicating processes with abstraction

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

Computing, Computer Science, Algebra +7

Conditional rewrite rules: Confluence and termination

J.A. Bergstra, Jan Willem Klop · Journal of Computer and System Sciences · 1986 · 172 citations

Law, Constitutional Law, Syntax +4

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