Folgen
Jan Willem Klop
Jan Willem Klop
Vrije Universiteit Amsterdam
Bestätigte E-Mail-Adresse bei vu.nl
Titel
Zitiert von
Zitiert von
Jahr
Term rewriting systems
JW Klop, JW Klop
Centrum voor Wiskunde en Informatica, 1990
1770*1990
Process algebra for synchronous communication
JA Bergstra, JW Klop
Information and control 60 (1-3), 109-137, 1984
14291984
Algebra of communicating processes with abstraction
JA Bergstra, JW Klop
Theoretical computer science 37, 77-121, 1985
10621985
Combinatory reduction systems
JW Klop
Rijksuniversiteit Utrecht, 2022
8892022
Combinatory reduction systems: introduction and survey
JW Klop, V Van Oostrom, F Van Raamsdonk
Theoretical computer science 121 (1-2), 279-308, 1993
3921993
Conditional rewrite rules: Confluence and termination
JA Bergstra, JW Klop
Journal of Computer and System Sciences 32 (3), 323-362, 1986
3271986
Syntax and defining equations for an interrupt mechanism in process algebra
JCM Baeten, JA Bergstra, JW Klop
Fundamenta Informaticae 9 (2), 127-167, 1986
2551986
On the consistency of Koomen's fair abstraction rule
JCM Baeten, JA Bergstra, JW Klop
Theoretical Computer Science 51 (1-2), 129-176, 1987
2091987
The algebra of recursively defined processes and the algebra of regular processes
JA Bergstra, JW Klop
Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July …, 1984
2091984
Infinitary lambda calculus
JR Kennaway, JW Klop, MR Sleep, FJ de Vries
Theoretical Computer Science 175 (1), 93-125, 1997
2021997
Algebra of communicating processes
JA Bergstra, JW Klop
CWI Monograph series 3, 89-138, 1986
1921986
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
1891993
Transfinite reductions in orthogonal term rewriting systems
R Kennaway, JW Klop, R Sleep, FJ Devries
Information and computation 119 (1), 18-38, 1995
1861995
Equational term graph rewriting
ZM Ariola, JW Klop
Fundamenta Informaticae 26 (3-4), 207-240, 1996
1741996
Decidability of bisimulation equivalence for processes generating context-free languages
JA Bergstra, JCM Baeten, JW Klop
Lecture Notes in Computer Science 259, 94-111, 1987
1591987
Term rewriting systems: a tutorial
JW Klop
Bulletin of the European Association for Theoretical Computer Science, 1987
1581987
Fixed point semantics in process algebras
JA Bergstra, JW Klop
1501982
Verification of an alternating bit protocol by means of process algebra protocol
JA Bergstra, JW Klop
Mathematical Methods of Specification and Synthesis of Software Systems' 85 …, 2005
1422005
Process theory based on bisimulation semantics
JA Bergstra, JW Klop
Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989
1301989
Process algebra: specification and verification in bisimulation semantics
JA Bergstra
CWI monographs 4, 61-94, 1986
1301986
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20