JW Klop

Editorial (2000)

Kamareddine, F, Klop, JW

A geometric proof of confluence by decreasing diagrams (2000)

Klop, JW, Van Oostrom, V, De Vrijer, R

The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria in abstract rewriting, such as the strong confluence lemma. We give a new proof of...

Decidability of bisimulation equivalence for processes generating context-free languages (1993)

Baeten, JCM, Bergstra, JA, Klop, JW

Decidability of bisimulation equivalence for processes generating context-free languages (1992)

Baeten, JCM, Bergstra, JA, Klop, JW

Asynchronous communication in process algebra : extended abstract (1991)

Boer, Frank S De, Klop, JW, Palamidessi, Catuscia

Theories of concurrency : unification and extension : Amsterdam, The Netherlands, August 27-30, 1990 : proceedings (1990)

Baeten, JCM, Klop, JW

Term-rewriting systems with rule priorities (1989)

Baeten, JCM, Bergstra, JA, Klop, JW, Weijland, WP

Term rewriting systems with rule priorities (1988)

Baeten, JCM, Bergstra, JA, Klop, JW

An operational semantics for process algebra (1988)

Baeten, JCM, Bergstra, JA, Klop, JW

Ready-trace semantics for concrete process algebra with the priority operator (1987)

Baeten, JCM, Bergstra, JA, Klop, JW

On the consistency of Koomen's fair abstraction rule (1987)

Baeten, JCM, Bergstra, JA, Klop, JW

Conditional axioms and alpha/beta-calculus in process algebra (1987)

Baeten, JCM, Bergstra, JA, Klop, JW

Decidability of bisimulation equivalence for processes generating context-free languages (1987)

Baeten, JCM, Bergstra, JA, Klop, JW

Term rewriting systems with priorities (1987)

Baeten, JCM, Bergstra, JA, Klop, JW

Decidability of bisimulation equivalence for processes generating context-free languages (1986)

Baeten, JCM, Bergstra, JA, Klop, JW

Syntax and defining equations for an interrupt mechanism in process algebra (1986)

Baeten, JCM, Bergstra, JA, Klop, JW

Conditional axioms and alpha/beta-calculus in process algebra:revised version (1986)

Baeten, JCM, Bergstra, JA, Klop, JW

Ready trace semantiek voor procesalgebra met prioriteitsoperator (1986)

Baeten, JCM, Bergstra, JA, Klop, JW

Term rewriting systems with priorities (1986)

Baeten, JCM, Bergstra, JA, Klop, JW

An operational semantics for process algebra (1985)

Baeten, JCM, Bergstra, JA, Klop, JW

Ready trace semantics for concrete process algebra with priority operator (1985)

Baeten, JCM, Bergstra, JA, Klop, JW

On the consistency of Koomen's fair abstraction rule (1985)

Baeten, JCM, Bergstra, JA, Klop, JW

Syntax and defining equations for an interrupt mechanism in process algebra (1985)

Baeten, JCM, Bergstra, JA, Klop, JW

Conditional axioms and alpha/beta calculus in process algebra (1985)

Baeten, JCM, Bergstra, JA, Klop, JW

Ready trace semantiek voor procesalgebra met prioriteitsoperator (1985)

Baeten, JCM, Bergstra, JA, Klop, JW

Proces algebra met interrupt mechanisme (1985)

Baeten, JCM, Bergstra, JA, Klop, JW

Priority rewrite systems (1984)

Baeten, JCM, Bergstra, JA, Klop, JW

Algebra of communicating processes : part II (1984)

Baeten, JCM, Bergstra, JA, Klop, JW