关注
Jan Willem Klop
Jan Willem Klop
在 vu.nl 的电子邮件经过验证
标题
引用次数
引用次数
年份
Term rewriting systems
JW Klop, JW Klop
Centrum voor Wiskunde en Informatica, 1990
1844*1990
Process algebra for synchronous communication
JA Bergstra, JW Klop
Information and control 60 (1-3), 109-137, 1984
14761984
Algebra of communicating processes with abstraction
JA Bergstra, JW Klop
Theoretical computer science 37, 77-121, 1985
10991985
Combinatory reduction systems
JW Klop
Rijksuniversiteit Utrecht, 2022
8942022
Combinatory reduction systems: introduction and survey
JW Klop, V Van Oostrom, F Van Raamsdonk
Theoretical computer science 121 (1-2), 279-308, 1993
4001993
Conditional rewrite rules: Confluence and termination
JA Bergstra, JW Klop
Journal of Computer and System Sciences 32 (3), 323-362, 1986
3311986
Syntax and defining equations for an interrupt mechanism in process algebra
JCM Baeten, JA Bergstra, JW Klop
Fundamenta Informaticae 9 (2), 127-167, 1986
2731986
On the consistency of Koomen's fair abstraction rule
JCM Baeten, JA Bergstra, JW Klop
Theoretical Computer Science 51 (1-2), 129-176, 1987
2201987
The algebra of recursively defined processes and the algebra of regular processes
JA Bergstra, JW Klop
International Colloquium on Automata, Languages, and Programming, 82-94, 1984
2151984
Infinitary lambda calculus
JR Kennaway, JW Klop, MR Sleep, FJ de Vries
Theoretical Computer Science 175 (1), 93-125, 1997
2081997
Transfinite reductions in orthogonal term rewriting systems
R Kennaway, JW Klop, R Sleep, FJ Devries
Information and computation 119 (1), 18-38, 1995
2011995
Algebra of communicating processes
JA Bergstra, JW Klop
Mathematics and Computer Science, CWI Monograph 1 (89-138), 9, 1986
2011986
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
1961993
Equational term graph rewriting
ZM Ariola, JW Klop
Fundamenta Informaticae 26 (3-4), 207-240, 1996
1761996
Term rewriting systems: a tutorial
JW Klop
Bulletin of the European Association for Theoretical Computer Science, 1987
1711987
Decidability of bisimulation equivalence for processes generating context-free languages
JCM Baeten, JA Bergstra, JW Klop
International Conference on Parallel Architectures and Languages Europe, 94-111, 1987
1631987
Fixed point semantics in process algebras
JA Bergstra, JW Klop
1581982
Verification of an alternating bit protocol by means of process algebra protocol
JA Bergstra, JW Klop
Int. Spring School on Mathematical Methods of Specification and Synthesis of …, 1985
1541985
Process theory based on bisimulation semantics
JA Bergstra, JW Klop
Workshop/School/Symposium of the REX Project (Research and Education in …, 1988
1351988
On the adequacy of graph rewriting for simulating term rewriting
JR Kennaway, JW Klop, MR Sleep, FJ de Vries
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 493-523, 1994
1331994
系统目前无法执行此操作,请稍后再试。
文章 1–20