×
Compute Distance To:
Author ID: klop.jan-willem Recent zbMATH articles by "Klop, Jan Willem"
Published as: Klop, Jan Willem; Klop, J. W.; Klop, Jan-Willem; Klop, Jan W.
Documents Indexed: 106 Publications since 1975, including 7 Books
5 Contributions as Editor · 1 Further Contribution
Biographic References: 1 Publication
Co-Authors: 53 Co-Authors with 105 Joint Publications
1,251 Co-Co-Authors
all top 5

Co-Authors

7 single-authored
41 Bergstra, Jan A.
23 Endrullis, Jörg
12 Hendriks, Dimitri
10 van Oostrom, Vincent
9 de Vrijer, Roel
9 Grabmayer, Clemens
8 Baeten, Jos C. M.
6 Barendregt, Hendrik Pieter
5 Ariola, Zena M.
5 de Bakker, Jacobus W.
5 de Vries, Fer-Jan J.
5 Meyer, John-Jules Charles
4 Kennaway, Richard
4 Polonsky, Andrew
4 Sleep, Ronan
3 Bethke, Inge
3 Middeldorp, Aart
3 Overbeek, Roy
3 Saarela, Aleksi
2 Bezem, Marc
2 Heering, Jan
2 Isihara, Ariya
2 Karhumaki, Juhani
2 Kennaway, J. R.
2 Koymans, Karst
2 Luttik, Bas
2 Plump, Detlef
2 Sleep, M. Ronan
2 Toyama, Yoshihito
2 Tucker, John V.
2 van Raamsdonk, Femke
2 Volken, Henri
1 Apt, Krzysztof Rafal
1 Bakhshi, Rena
1 Böhm, Corrado
1 Bol, Roland N.
1 Broer, Henk W.
1 Bunder, Martin W.
1 Coppo, Mario
1 de Bruijn, Nicolaas Govert
1 de Vrijer, R. C.
1 Dezani-Ciancaglini, Mariangiola
1 Diller, Justus
1 Feferman, Solomon
1 Fitch, Frederic Brenton
1 Fokkink, Willem Jan
1 Gandy, Robin O.
1 Gilmore, Paul C.
1 Hindley, J. Roger
1 Howard, William Alvin
1 Jongbloed, Geurt
1 Kamareddine, Fairouz D.
1 Kearns, John T.
1 Ketema, Jeroen
1 Kranakis, Evangelos Konstantinou
1 Kuzichev, Alexander Sergeevich
1 Lambek, Joachim
1 Levy, Jean-Jacques
1 Longo, Giuseppe
1 Meredith, David
1 Mitschke, Gerd
1 Moss, Lawrence S.
1 Olderog, Ernst-Rüdiger
1 Plotkin, Gordon D.
1 Pottinger, Garrel
1 Rodenburg, Piet H.
1 Rutten, Jan J. M. M.
1 Sanchis, Luis Elpidio
1 Scott, Dana Stewart
1 Seldin, Jonathan P.
1 Statman, Richard
1 Tijdeman, Robert
1 van Dalen, Dirk
1 van Mill, Jan
1 Veneri, B.
1 Visser, Albert
1 Vrancken, Jos
1 Wadsworth, Christopher P.
1 Weijland, W. Peter
1 Whiteland, Markus A.
1 Wiegerinck, Jan J. O. O.

Publications by Year

Citations contained in zbMATH Open

88 Publications have been cited 1,351 times in 913 Documents Cited by Year
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
187
1984
Algebra of communicating processes with abstraction. Zbl 0579.68016
Bergstra, J. A.; Klop, J. W.
123
1985
Combinatory reduction systems. Zbl 0466.03006
Klop, J. W.
109
1980
Terese. Term rewriting systems. Zbl 1030.68053
52
2003
Combinatory reduction systems: Introduction and survey. Zbl 0796.03024
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
52
1993
Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
51
1986
Conditional rewrite rules: Confluence and termination. Zbl 0658.68031
Bergstra, J. A.; Klop, J. W.
48
1986
Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
41
1995
On the consistency of Koomen’s fair abstraction rule. Zbl 0621.68010
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
39
1987
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0801.68102
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
37
1993
Infinitary lambda calculus. Zbl 0903.68105
Kennaway, J. R.; Klop, J. W.; Sleep, M. R.; de Vries, F. J.
35
1997
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
28
1996
The algebra of recursively defined processes and the algebra of regular processes. Zbl 0561.68019
Bergstra, J. A.; Klop, J. W.
27
1984
Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093
Toyama, Y.; Klop, J. W.; Barendregt, H. P.
25
1995
Term rewriting systems: A tutorial. Zbl 0666.68025
Klop, Jan Willem
24
1987
Process algebra: Specification and verification in bisimulation semantics. Zbl 0625.68023
Bergstra, J. A.; Klop, J. W.
20
1986
Algebra of communicating processes. Zbl 0605.68013
Bergstra, J. A.; Klop, J. W.
19
1986
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0635.68014
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
18
1987
Term rewriting systems with priorities. Zbl 0657.68028
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
17
1987
Term-rewriting systems with rule priorities. Zbl 0686.68018
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.; Weijland, W. P.
17
1989
Verification of an alternating bit protocol by means of process algebra. Zbl 0595.68024
Bergstra, J. A.; Klop, J. W.
17
1986
Sequentiality in orthogonal term rewriting systems. Zbl 0746.68047
Klop, Jan Willem; Middeldorp, Aart
16
1991
Linear time and branching time semantics for recursion with merge. Zbl 0985.68517
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
16
1984
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
An analysis of loop checking mechanisms for logic programs. Zbl 0741.68027
Bol, Roland N.; Apt, Krzysztof R.; Klop, Jan Willem
14
1991
Productivity of stream definitions. Zbl 1135.68471
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Isihara, Ariya; Klop, Jan Willem
14
2007
Infinitary normalization. Zbl 1221.68110
Klop, Jan Willem; de Vrijer, Roel
14
2005
A complete inference system for regular processes with silent moves. Zbl 0647.68033
Bergstra, J. A.; Klop, J. W.
13
1988
Lambda calculus with patterns. Zbl 1145.68012
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
13
2008
Comparing curried and uncurried rewriting. Zbl 0847.68055
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
13
1996
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
11
1987
Readies and failures in the algebra of communicating processes. Zbl 0677.68089
Bergstra, J. A.; Klop, J. W.; Olderog, E.-R.
11
1988
Process theory based on bisimulation semantics. (Tutorial). Zbl 0683.68066
Bergstra, J. A.; Klop, J. W.
11
1989
Lambda calculus with explicit recursion. Zbl 0892.68015
Ariola, Zena M.; Klop, Jan Willem
11
1997
Descendants and origins in term rewriting. Zbl 1046.68564
Bethke, Inge; Klop, Jan Willem; de Vrijer, Roel
9
2000
Degrees of streams. Zbl 1274.68157
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem
9
2011
Term rewriting systems: From Church-Rosser to Knuth-Bendix and beyond. Zbl 0765.68008
Klop, Jan Willem
8
1990
Unique normal forms for lambda calculus with surjective pairing. Zbl 0667.03008
Klop, J. W.; de Vrijer, R. C.
8
1989
Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0489.68016
Bergstra, J. A.; Klop, J. W.
8
1982
Productivity of stream definitions. Zbl 1183.68162
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Isihara, Ariya; Klop, Jan Willem
8
2010
Representability in lambda algebras. Zbl 0399.03013
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
7
1976
Bisimilarity in term graph rewriting. Zbl 1045.68590
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
7
2000
Process algebra with asynchronous communication mechanisms. Zbl 0579.68015
Bergstra, J. A.; Klop, J. W.; Tucker, J. V.
6
1985
Strong normalization and perpetual reductions in the lambda calculus. Zbl 0523.03009
Bergstra, Jan A.; Klop, Jan Willem
6
1982
Modularity of confluence: A simplified proof. Zbl 0795.68111
Klop, Jan Willem; Middeldorp, Aart; Toyama, Yoshihito; de Vrijer, Roel
6
1994
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
6
1998
Degrees of transducibility. Zbl 1330.68073
Endrullis, Jörg; Klop, Jan Willem; Saarela, Aleksi; Whiteland, Markus
6
2015
Highlights in infinitary rewriting and lambda calculus. Zbl 1284.68323
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem
6
2012
Initial algebra specifications for parametrized data types. Zbl 0549.68012
Bergstra, J. A.; Klop, J. W.
5
1982
Applications of infinitary lambda calculus. Zbl 1167.03010
Barendregt, Henk; Klop, Jan Willem
5
2009
Proving infinitary normalization. Zbl 1246.68135
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; de Vrijer, Roel
5
2009
Automatic sequences and zip-specifications. Zbl 1361.68155
Grabmayer, Clemens; Endrullis, Jorg; Hendriks, Dimitri; Klop, Jan Willem; Moss, Lawrence S.
5
2012
Degrees of infinite words, polynomials and atoms. Zbl 1436.68170
Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi
4
2016
Syntactic definitions of undefined: On defining the undefined. Zbl 0942.03511
Ariola, Zena; Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
4
1994
De Bruijn’s weak diamond property revisited. Zbl 1360.68533
Endrullis, Jörg; Klop, Jan Willem
4
2013
Church-Rosser strategies in the lambda calculus. Zbl 0404.03015
Bergstra, Jan; Klop, Jan Willem
3
1979
Degrees of sensible lambda theories. Zbl 0408.03012
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
3
1978
Invertible terms in the lambda calculus. Zbl 0446.03011
Bergstra, Jan; Klop, Jan Willem
3
1980
CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Zbl 0746.68005
3
1990
Formal proof systems for program equivalence. Zbl 0512.68013
Bergstra, J. A.; Klop, J. W.
3
1983
Confluent rewriting of bisimilar term graphs. Zbl 0911.68090
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
3
1997
Collapsing partial combinatory algebras. Zbl 1434.03048
Bethke, Inge; Klop, Jan Willem
3
1996
Extending partial combinatory algebras. Zbl 0935.03074
Bethke, Inge; Klop, Jan Willem; de Vrijer, Roel
3
1999
Discriminating lambda-terms using clocked Böhm trees. Zbl 1315.03025
Endrullis, Joerg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew
3
2014
On equal \(\mu \)-terms. Zbl 1227.68041
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent
3
2011
Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0466.68019
Bergstra, J. A.; Klop, J. W.
2
1981
Initial algebra specifications for parametrized data types. Zbl 0516.68019
Bergstra, Jan A.; Klop, Jan W.
2
1983
Linear time and branching time semantics for recursion with merge. Zbl 0527.68011
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
Iterative lexicographic path orders. Zbl 1132.68430
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
2
2006
Reduction strategies and acyclicity. Zbl 1186.68237
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
2
2007
Degrees of infinite words, polynomials and atoms. Zbl 1404.68068
Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi
2
2018
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
2
2000
A formalized proof system for total correctness of WHILE programs. Zbl 0481.68029
Bergstra, J. A.; Klop, J. W.
2
1982
Initial algebra specifications for parametrized data types. Zbl 0474.68019
Bergstra, J. A.; Klop, J. W.
1
1981
A formalized proof system for total correctness of WHILE programs. Zbl 0466.68014
Bergstra, J. A.; Klop, J. W.
1
1981
Correctness of programs with function procedures. Zbl 0463.68021
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1981
An operational semantics for process algebra. Zbl 0761.68054
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
1
1988
An introduction to Knuth-Bendix completion. Zbl 0658.68030
Klop, Jan Willem; Middeldorp, Aart
1
1988
Linear time and branching time semantics for recursion with merge. Zbl 0517.68026
De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
1
1983
Proving program inclusion using Hoare’s logic. Zbl 0533.68011
Bergstra, J. A.; Klop, J. W.
1
1984
On solvability by \(\lambda I\)-terms. Zbl 0333.02020
Klop, J. W.
1
1975
From finite to infinite lambda calculi. Zbl 0819.03007
Kennaway, Richard; Klop, Jan-Willem; Sleep, Ronan; de Vries, Fer-Jan
1
1995
Special issue: Type theory and term rewriting. A selection of papers presented at the first international school, Glasgow, Scotland, September 1996. Zbl 0953.00007
1
2000
Correctness of programs with function procedures. (Extended abstract). Zbl 0481.68015
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1982
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples. Zbl 1290.68067
Endrullis, Joerg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent
1
2014
Clocked lambda calculus. Zbl 1387.03013
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew
1
2017
Unique normal forms in infinitary weakly orthogonal rewriting. Zbl 1236.68127
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent
1
2010
Decreasing diagrams with two labels are complete for confluence of countable systems. Zbl 1462.68094
Endrullis, Jörg; Klop, Jan Willem; Overbeek, Roy
1
2018
Degrees of infinite words, polynomials and atoms. Zbl 1404.68068
Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi
2
2018
Decreasing diagrams with two labels are complete for confluence of countable systems. Zbl 1462.68094
Endrullis, Jörg; Klop, Jan Willem; Overbeek, Roy
1
2018
Clocked lambda calculus. Zbl 1387.03013
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew
1
2017
Degrees of infinite words, polynomials and atoms. Zbl 1436.68170
Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi
4
2016
Degrees of transducibility. Zbl 1330.68073
Endrullis, Jörg; Klop, Jan Willem; Saarela, Aleksi; Whiteland, Markus
6
2015
Discriminating lambda-terms using clocked Böhm trees. Zbl 1315.03025
Endrullis, Joerg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew
3
2014
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples. Zbl 1290.68067
Endrullis, Joerg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent
1
2014
De Bruijn’s weak diamond property revisited. Zbl 1360.68533
Endrullis, Jörg; Klop, Jan Willem
4
2013
Highlights in infinitary rewriting and lambda calculus. Zbl 1284.68323
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem
6
2012
Automatic sequences and zip-specifications. Zbl 1361.68155
Grabmayer, Clemens; Endrullis, Jorg; Hendriks, Dimitri; Klop, Jan Willem; Moss, Lawrence S.
5
2012
Degrees of streams. Zbl 1274.68157
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem
9
2011
On equal \(\mu \)-terms. Zbl 1227.68041
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent
3
2011
Productivity of stream definitions. Zbl 1183.68162
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Isihara, Ariya; Klop, Jan Willem
8
2010
Unique normal forms in infinitary weakly orthogonal rewriting. Zbl 1236.68127
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent
1
2010
Applications of infinitary lambda calculus. Zbl 1167.03010
Barendregt, Henk; Klop, Jan Willem
5
2009
Proving infinitary normalization. Zbl 1246.68135
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; de Vrijer, Roel
5
2009
Lambda calculus with patterns. Zbl 1145.68012
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
13
2008
Productivity of stream definitions. Zbl 1135.68471
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Isihara, Ariya; Klop, Jan Willem
14
2007
Reduction strategies and acyclicity. Zbl 1186.68237
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
2
2007
Iterative lexicographic path orders. Zbl 1132.68430
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
2
2006
Infinitary normalization. Zbl 1221.68110
Klop, Jan Willem; de Vrijer, Roel
14
2005
Terese. Term rewriting systems. Zbl 1030.68053
52
2003
Descendants and origins in term rewriting. Zbl 1046.68564
Bethke, Inge; Klop, Jan Willem; de Vrijer, Roel
9
2000
Bisimilarity in term graph rewriting. Zbl 1045.68590
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
7
2000
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
2
2000
Special issue: Type theory and term rewriting. A selection of papers presented at the first international school, Glasgow, Scotland, September 1996. Zbl 0953.00007
1
2000
Extending partial combinatory algebras. Zbl 0935.03074
Bethke, Inge; Klop, Jan Willem; de Vrijer, Roel
3
1999
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
6
1998
Infinitary lambda calculus. Zbl 0903.68105
Kennaway, J. R.; Klop, J. W.; Sleep, M. R.; de Vries, F. J.
35
1997
Lambda calculus with explicit recursion. Zbl 0892.68015
Ariola, Zena M.; Klop, Jan Willem
11
1997
Confluent rewriting of bisimilar term graphs. Zbl 0911.68090
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
3
1997
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
28
1996
Comparing curried and uncurried rewriting. Zbl 0847.68055
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
13
1996
Collapsing partial combinatory algebras. Zbl 1434.03048
Bethke, Inge; Klop, Jan Willem
3
1996
Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
41
1995
Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093
Toyama, Y.; Klop, J. W.; Barendregt, H. P.
25
1995
From finite to infinite lambda calculi. Zbl 0819.03007
Kennaway, Richard; Klop, Jan-Willem; Sleep, Ronan; de Vries, Fer-Jan
1
1995
Modularity of confluence: A simplified proof. Zbl 0795.68111
Klop, Jan Willem; Middeldorp, Aart; Toyama, Yoshihito; de Vrijer, Roel
6
1994
Syntactic definitions of undefined: On defining the undefined. Zbl 0942.03511
Ariola, Zena; Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
4
1994
Combinatory reduction systems: Introduction and survey. Zbl 0796.03024
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
52
1993
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0801.68102
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
37
1993
Sequentiality in orthogonal term rewriting systems. Zbl 0746.68047
Klop, Jan Willem; Middeldorp, Aart
16
1991
An analysis of loop checking mechanisms for logic programs. Zbl 0741.68027
Bol, Roland N.; Apt, Krzysztof R.; Klop, Jan Willem
14
1991
Term rewriting systems: From Church-Rosser to Knuth-Bendix and beyond. Zbl 0765.68008
Klop, Jan Willem
8
1990
CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Zbl 0746.68005
3
1990
Term-rewriting systems with rule priorities. Zbl 0686.68018
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.; Weijland, W. P.
17
1989
Process theory based on bisimulation semantics. (Tutorial). Zbl 0683.68066
Bergstra, J. A.; Klop, J. W.
11
1989
Unique normal forms for lambda calculus with surjective pairing. Zbl 0667.03008
Klop, J. W.; de Vrijer, R. C.
8
1989
A complete inference system for regular processes with silent moves. Zbl 0647.68033
Bergstra, J. A.; Klop, J. W.
13
1988
Readies and failures in the algebra of communicating processes. Zbl 0677.68089
Bergstra, J. A.; Klop, J. W.; Olderog, E.-R.
11
1988
An operational semantics for process algebra. Zbl 0761.68054
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
1
1988
An introduction to Knuth-Bendix completion. Zbl 0658.68030
Klop, Jan Willem; Middeldorp, Aart
1
1988
On the consistency of Koomen’s fair abstraction rule. Zbl 0621.68010
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
39
1987
Term rewriting systems: A tutorial. Zbl 0666.68025
Klop, Jan Willem
24
1987
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0635.68014
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
18
1987
Term rewriting systems with priorities. Zbl 0657.68028
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
17
1987
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
11
1987
Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
51
1986
Conditional rewrite rules: Confluence and termination. Zbl 0658.68031
Bergstra, J. A.; Klop, J. W.
48
1986
Process algebra: Specification and verification in bisimulation semantics. Zbl 0625.68023
Bergstra, J. A.; Klop, J. W.
20
1986
Algebra of communicating processes. Zbl 0605.68013
Bergstra, J. A.; Klop, J. W.
19
1986
Verification of an alternating bit protocol by means of process algebra. Zbl 0595.68024
Bergstra, J. A.; Klop, J. W.
17
1986
Algebra of communicating processes with abstraction. Zbl 0579.68016
Bergstra, J. A.; Klop, J. W.
123
1985
Process algebra with asynchronous communication mechanisms. Zbl 0579.68015
Bergstra, J. A.; Klop, J. W.; Tucker, J. V.
6
1985
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
187
1984
The algebra of recursively defined processes and the algebra of regular processes. Zbl 0561.68019
Bergstra, J. A.; Klop, J. W.
27
1984
Linear time and branching time semantics for recursion with merge. Zbl 0985.68517
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
16
1984
Proving program inclusion using Hoare’s logic. Zbl 0533.68011
Bergstra, J. A.; Klop, J. W.
1
1984
Formal proof systems for program equivalence. Zbl 0512.68013
Bergstra, J. A.; Klop, J. W.
3
1983
Initial algebra specifications for parametrized data types. Zbl 0516.68019
Bergstra, Jan A.; Klop, Jan W.
2
1983
Linear time and branching time semantics for recursion with merge. Zbl 0527.68011
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
Linear time and branching time semantics for recursion with merge. Zbl 0517.68026
De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
1
1983
Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0489.68016
Bergstra, J. A.; Klop, J. W.
8
1982
Strong normalization and perpetual reductions in the lambda calculus. Zbl 0523.03009
Bergstra, Jan A.; Klop, Jan Willem
6
1982
Initial algebra specifications for parametrized data types. Zbl 0549.68012
Bergstra, J. A.; Klop, J. W.
5
1982
A formalized proof system for total correctness of WHILE programs. Zbl 0481.68029
Bergstra, J. A.; Klop, J. W.
2
1982
Correctness of programs with function procedures. (Extended abstract). Zbl 0481.68015
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1982
Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0466.68019
Bergstra, J. A.; Klop, J. W.
2
1981
Initial algebra specifications for parametrized data types. Zbl 0474.68019
Bergstra, J. A.; Klop, J. W.
1
1981
A formalized proof system for total correctness of WHILE programs. Zbl 0466.68014
Bergstra, J. A.; Klop, J. W.
1
1981
Correctness of programs with function procedures. Zbl 0463.68021
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1981
Combinatory reduction systems. Zbl 0466.03006
Klop, J. W.
109
1980
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Invertible terms in the lambda calculus. Zbl 0446.03011
Bergstra, Jan; Klop, Jan Willem
3
1980
Church-Rosser strategies in the lambda calculus. Zbl 0404.03015
Bergstra, Jan; Klop, Jan Willem
3
1979
Degrees of sensible lambda theories. Zbl 0408.03012
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
3
1978
Representability in lambda algebras. Zbl 0399.03013
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
7
1976
On solvability by \(\lambda I\)-terms. Zbl 0333.02020
Klop, J. W.
1
1975
all top 5

Cited by 968 Authors

38 Bergstra, Jan A.
33 Klop, Jan Willem
26 Aceto, Luca
25 Baeten, Jos C. M.
21 Fokkink, Willem Jan
21 Ingólfsdóttir, Anna
20 Endrullis, Jörg
20 Luttik, Bas
18 Ponse, Alban
17 Middelburg, Cornelis A.
14 Fernández, Maribel
14 Kesner, Delia
13 van Glabbeek, Robert Jan
11 Lucas, Salvador
11 Meyer, John-Jules Charles
11 Middeldorp, Aart
11 van Oostrom, Vincent
10 Groote, Jan Friso
10 Meseguer Guaita, José
9 Hendriks, Dimitri
9 Kucera, Antonin
9 Montanari, Ugo G.
8 Dershowitz, Nachum
8 Reniers, Michel Adriaan
8 Rutten, Jan J. M. M.
7 Blanqui, Frédéric
7 Cirstea, Horatiu
7 de Bakker, Jacobus W.
7 Degano, Pierpaolo
7 Mackie, Ian
7 Mayr, Richard M.
7 Nishida, Naoki
6 Alpuente, María
6 Antoy, Sergio
6 Ariola, Zena M.
6 Bethke, Inge
6 de Vrijer, Roel
6 Gadducci, Fabio
6 Grabmayer, Clemens
6 Kamareddine, Fairouz D.
6 Kirchner, Claude
6 Phillips, Iain W.
6 Polonsky, Andrew
6 Sakai, Masahiko
6 Simonsen, Jakob Grue
6 Smolka, Scott A.
6 van Bakel, Steffen
6 van de Pol, Jan Cornelis
6 van der Zwaag, Mark B.
6 Vidal, Germán
6 Zantema, Hans
5 Ayala-Rincón, Mauricio
5 Bonelli, Eduardo
5 Cleaveland, Rance
5 De Nicola, Rocco
5 de Vink, Erik P.
5 de Vries, Fer-Jan J.
5 Dezani-Ciancaglini, Mariangiola
5 Hamana, Makoto
5 Intrigila, Benedetto
5 Inverardi, Paola
5 Kaplan, Stéphane
5 Moller, Faron
5 Priami, Corrado
5 Ríos, Alejandro
5 Rodenburg, Piet H.
5 Ronchi Della Rocca, Simona
5 Schmidt-Schauß, Manfred
5 Ulidowski, Irek
5 Viso, Andrés
4 Aoto, Takahito
4 Bernardo, Marco
4 Bertolissi, Clara
4 Bezem, Marc
4 Bloo, Roel
4 Colvin, Robert J.
4 Durand, Irène A.
4 Echahed, Rachid
4 Geuvers, Jan Herman
4 Ghassemi, Fatemeh
4 Gramlich, Bernhard
4 Gregorio-Rodríguez, Carlos
4 Hansen, Helle Hvid
4 Hardin, Thérèse
4 Hirshfeld, Yoram
4 Hoare, C. A. R. Tony
4 Huynh, Dung T.
4 Jančar, Petr
4 Jouannaud, Jean-Pierre
4 Khasidashvili, Zurab O.
4 Kupke, Clemens
4 Lee, Insup
4 Milner, Robin
4 Ohlebusch, Enno
4 Olderog, Ernst-Rüdiger
4 Parrow, Joachim
4 Roşu, Grigore
4 Severi, Paula Gabriela
4 Sørensen, Morten Heine B.
4 Tarasyuk, Igor’ Valer’evich
...and 868 more Authors
all top 5

Cited in 73 Serials

247 Theoretical Computer Science
96 Information and Computation
36 Formal Aspects of Computing
33 Information Processing Letters
31 MSCS. Mathematical Structures in Computer Science
30 The Journal of Logic and Algebraic Programming
26 Acta Informatica
19 Journal of Logical and Algebraic Methods in Programming
18 Logical Methods in Computer Science
14 Journal of Symbolic Computation
13 Journal of Automated Reasoning
11 Journal of Computer and System Sciences
10 Journal of Functional Programming
8 Applicable Algebra in Engineering, Communication and Computing
7 Annals of Pure and Applied Logic
5 Distributed Computing
5 RAIRO. Informatique Théorique et Applications
5 RAIRO. Theoretical Informatics and Applications
5 Theory and Practice of Logic Programming
4 The Journal of Symbolic Logic
4 Notre Dame Journal of Formal Logic
4 Science of Computer Programming
4 International Journal of Computer Mathematics
4 Cybernetics and Systems Analysis
4 Formal Methods in System Design
4 Journal of Applied Non-Classical Logics
4 Theory of Computing Systems
4 Higher-Order and Symbolic Computation
4 ACM Transactions on Computational Logic
3 Information Sciences
3 Indagationes Mathematicae. New Series
3 Journal of Logic, Language and Information
3 Sādhanā
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Artificial Intelligence
2 International Journal of Theoretical Physics
2 Fuzzy Sets and Systems
2 Journal of Computer Science and Technology
2 International Journal of Parallel Programming
2 International Journal of Foundations of Computer Science
2 Journal of Computer and Systems Sciences International
2 The Bulletin of Symbolic Logic
2 Annals of Mathematics and Artificial Intelligence
2 LMS Journal of Computation and Mathematics
2 Journal of Applied Logic
2 The Review of Symbolic Logic
1 Russian Mathematical Surveys
1 Bulletin of Mathematical Biology
1 Algebra Universalis
1 Automatica
1 BIT
1 Journal of Algebra
1 Journal of Computational and Applied Mathematics
1 Journal of Pure and Applied Algebra
1 RAIRO, Informatique Théorique
1 Studia Logica
1 New Generation Computing
1 International Journal of Intelligent Systems
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Discrete Event Dynamic Systems
1 Archive for Mathematical Logic
1 Constraints
1 Mathematical Problems in Engineering
1 Journal of Combinatorial Optimization
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Fundamenta Informaticae
1 Journal of the Australian Mathematical Society
1 Natural Computing
1 Journal of Algebra and its Applications
1 Asian-European Journal of Mathematics
1 Science China. Information Sciences
1 Algebraic Combinatorics

Citations by Year