×

de Bakker, Jacobus W.

Author ID: de-bakker.jacobus-w Recent zbMATH articles by "de Bakker, Jacobus W."
Published as: de Bakker, J. W.; De Bakker, J. W.; de Bakker, Jacobus W.

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 428 times in 278 Documents Cited by Year
Processes and the denotational semantics of concurrency. Zbl 0508.68011
de Bakker, J. W.; Zucker, J. I.
99
1982
A metric approach to control flow semantics. Zbl 0971.68099
De Bakker, J. W.; De Vink, E. P.
30
1996
A calculus for recursive program schemes. Zbl 0238.68006
De Bakker, J. W.; De Roever, W. P.
24
1972
Recursive procedures. Zbl 0274.02015
de Bakker, J. W.
22
1971
Semantics and termination of nondeterministic recursive programs. Zbl 0354.68021
de Bakker, J. W.
19
1976
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.
17
1984
On the completeness of the inductive assertion method. Zbl 0353.68040
de Bakker, J. W.; Meertens, L. G. L. T.
17
1975
Denotational models for programming languages: Applications of Banach’s fixed point theorem. Zbl 0933.68086
de Bakker, J. W.; de Vink, E. P.
14
1998
Metric semantics for concurrency. Zbl 0661.68011
de Bakker, J. W.; Meyer, J.-J. Ch.
12
1988
Four domains for concurrency. Zbl 0741.68045
de Bakker, J. W.; Warmerdam, J. H. A.
12
1991
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028
De Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1988
Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019
de Bakker, J. W.; Kok, J. N.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1986
A calculus for recursive program schemes. Zbl 0262.68004
de Bakker, J. W.; de Roever, W. P.
9
1973
Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30 – June 3, 1988. Proceedings. Zbl 0683.68001
9
1989
Processes and the denotational semantics of concurrency. Zbl 0508.68010
de Bakker, J. W.; Zucker, J. I.
9
1983
Compactness in semantics for merge and fair merge. Zbl 0558.68022
De Bakker, J. W.; Zucker, J. I.
8
1984
Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060
Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M.
7
1994
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
6
1987
Order and metric in the stream semantics of elemental concurrency. Zbl 0607.68014
de Bakker, J. W.; Meyer, J.-J. Ch.
6
1987
Comparative metric semantics for concurrent PROLOG. Zbl 0702.68077
de Bakker, J. W.; Kok, J. N.
6
1990
Recursive programs as predicate transformers. Zbl 0392.68006
de Bakker, J. W.
5
1978
Automata, languages and programming. Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. Zbl 0426.00014
5
1980
Least fixed points revisited. Zbl 0348.68013
De Bakker, J. W.
4
1976
Semantics and proof theory of PASCAL procedures. Zbl 0353.68036
Apt, Krysztof R.; de Bakker, J. W.
4
1977
Processes and a fair semantics for the ADA rendez-vous. Zbl 0516.68025
de Bakker, J. W.; Zucker, J. I.
4
1983
Semantics of programming languages. Zbl 0188.33101
de Bakker, J. W.
4
1969
Semantics of infinite processes using generalized trees. Zbl 0368.68011
de Bakker, J. W.
3
1977
Semantics: foundations and applications. REX workshop, Beekbergen, The Netherlands, June 1–4, 1992. Proceedings. Zbl 0825.00095
3
1993
Bisimulation semantics for concurrency with atomicity and action refinement. Zbl 0806.68041
de Bakker, J. W.; de Vink, E. P.
3
1994
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0566.68011
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
3
1985
Comparative semantics for flow of control in logic programming without logic. Zbl 0728.68080
de Bakker, J. W.
3
1991
Metric semantics and full abstractness for action refinement and probabilistic choice. Zbl 1264.68104
Den Hartog, J. I.; De Vink, E. P.; De Bakker, J. W.
3
2001
Foundations of computer science. Zbl 0307.00016
2
1975
Formal definition of programming languages. With an application to the definition of ALGOL 60. (Mathematical Centre Tracts. 16.). Zbl 0203.49204
de Bakker, J. W.
2
1967
Foundations of object-oriented languages. REX School/ Workshop Noordwijkerhout, the Netherlands, May 28 - June 1, 1990. Proceedings. Zbl 0875.00080
2
1991
A decade of concurrency. Reflections and perspectives. REX School/Symposium, Noordwijkerhout, the Netherlands, June 1–4, 1993. Proceedings. Zbl 0825.00132
2
1994
Current trends in concurrency. Overviews and tutorials. Zbl 0587.00018
2
1986
Languages for parallel architectures. Design, semantics, implementation models. Zbl 1080.68547
2
1989
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
Corrigendum: On infinite computations in denotational semantics. Zbl 0533.68020
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1984
On infinite computations in denotational semantics. Zbl 0514.68018
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1983
PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume I: Parallel architectures. Zbl 0624.68001
1
1987
Full abstractness of a metric semantics for action refinement. Zbl 0942.68071
den Hartog, J. I.; de Vink, E. P.; de Bakker, J. W.
1
1999
PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume II: Parallel languages. Zbl 0608.00014
1
1987
Simple recursive program schemes and inductive assertions. Zbl 0259.68010
de Bakker, J. W.; Meertens, L. G. L. Th.
1
1972
The fixed point approach in semantics: Theory and applications. Zbl 0315.68011
De Bakker, J. W.
1
1975
Least fixed points revisited. Zbl 0328.68009
de Bakker, J. W.
1
1975
A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107
Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A.
1
2000
Concurrency semantics based on metric domain equations. Zbl 0792.68090
de Bakker, J. W.; Rutten, J. J. M. M.
1
1991
Towards a uniform topological treatment of streams and functions on streams. Zbl 0566.68010
de Bakker, J. W.; Kok, J. N.
1
1985
Exercises in denotational semantics. Zbl 0337.68011
Apt, Krysztof R.; de Bakker, J. W.
1
1976
Foundations of computer science. III. Part 1: Automata, data structures, complexity. Zbl 0403.00014
1
1979
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
Correctness of programs with function procedures. Zbl 0463.68021
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1981
Correctness of programs with function procedures. (Extended abstract). Zbl 0481.68015
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1982
On infinite computations in denotational semantics. Zbl 0477.68022
De Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
1
1982
Problems in the theory of programming languages. Zbl 0217.22203
de Bakker, J. W.
1
1968
Axiom systems for simple assignment statements. Zbl 0225.68036
de Bakker, J. W.
1
1971
Topological models for higher order control flow. Zbl 1509.68147
de Bakker, J. W.; van Breugel, F.
1
1994
Metric semantics and full abstractness for action refinement and probabilistic choice. Zbl 1264.68104
Den Hartog, J. I.; De Vink, E. P.; De Bakker, J. W.
3
2001
A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107
Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A.
1
2000
Full abstractness of a metric semantics for action refinement. Zbl 0942.68071
den Hartog, J. I.; de Vink, E. P.; de Bakker, J. W.
1
1999
Denotational models for programming languages: Applications of Banach’s fixed point theorem. Zbl 0933.68086
de Bakker, J. W.; de Vink, E. P.
14
1998
A metric approach to control flow semantics. Zbl 0971.68099
De Bakker, J. W.; De Vink, E. P.
30
1996
Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060
Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M.
7
1994
Bisimulation semantics for concurrency with atomicity and action refinement. Zbl 0806.68041
de Bakker, J. W.; de Vink, E. P.
3
1994
A decade of concurrency. Reflections and perspectives. REX School/Symposium, Noordwijkerhout, the Netherlands, June 1–4, 1993. Proceedings. Zbl 0825.00132
2
1994
Topological models for higher order control flow. Zbl 1509.68147
de Bakker, J. W.; van Breugel, F.
1
1994
Semantics: foundations and applications. REX workshop, Beekbergen, The Netherlands, June 1–4, 1992. Proceedings. Zbl 0825.00095
3
1993
Four domains for concurrency. Zbl 0741.68045
de Bakker, J. W.; Warmerdam, J. H. A.
12
1991
Comparative semantics for flow of control in logic programming without logic. Zbl 0728.68080
de Bakker, J. W.
3
1991
Foundations of object-oriented languages. REX School/ Workshop Noordwijkerhout, the Netherlands, May 28 - June 1, 1990. Proceedings. Zbl 0875.00080
2
1991
Concurrency semantics based on metric domain equations. Zbl 0792.68090
de Bakker, J. W.; Rutten, J. J. M. M.
1
1991
Comparative metric semantics for concurrent PROLOG. Zbl 0702.68077
de Bakker, J. W.; Kok, J. N.
6
1990
Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30 – June 3, 1988. Proceedings. Zbl 0683.68001
9
1989
Languages for parallel architectures. Design, semantics, implementation models. Zbl 1080.68547
2
1989
Metric semantics for concurrency. Zbl 0661.68011
de Bakker, J. W.; Meyer, J.-J. Ch.
12
1988
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028
De Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1988
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
6
1987
Order and metric in the stream semantics of elemental concurrency. Zbl 0607.68014
de Bakker, J. W.; Meyer, J.-J. Ch.
6
1987
PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume I: Parallel architectures. Zbl 0624.68001
1
1987
PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume II: Parallel languages. Zbl 0608.00014
1
1987
Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019
de Bakker, J. W.; Kok, J. N.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1986
Current trends in concurrency. Overviews and tutorials. Zbl 0587.00018
2
1986
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0566.68011
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
3
1985
Towards a uniform topological treatment of streams and functions on streams. Zbl 0566.68010
de Bakker, J. W.; Kok, J. N.
1
1985
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.
17
1984
Compactness in semantics for merge and fair merge. Zbl 0558.68022
De Bakker, J. W.; Zucker, J. I.
8
1984
Corrigendum: On infinite computations in denotational semantics. Zbl 0533.68020
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1984
Processes and the denotational semantics of concurrency. Zbl 0508.68010
de Bakker, J. W.; Zucker, J. I.
9
1983
Processes and a fair semantics for the ADA rendez-vous. Zbl 0516.68025
de Bakker, J. W.; Zucker, J. I.
4
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
On infinite computations in denotational semantics. Zbl 0514.68018
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
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
Processes and the denotational semantics of concurrency. Zbl 0508.68011
de Bakker, J. W.; Zucker, J. I.
99
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
On infinite computations in denotational semantics. Zbl 0477.68022
De Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
1
1982
Correctness of programs with function procedures. Zbl 0463.68021
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1981
Automata, languages and programming. Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. Zbl 0426.00014
5
1980
Foundations of computer science. III. Part 1: Automata, data structures, complexity. Zbl 0403.00014
1
1979
Recursive programs as predicate transformers. Zbl 0392.68006
de Bakker, J. W.
5
1978
Semantics and proof theory of PASCAL procedures. Zbl 0353.68036
Apt, Krysztof R.; de Bakker, J. W.
4
1977
Semantics of infinite processes using generalized trees. Zbl 0368.68011
de Bakker, J. W.
3
1977
Semantics and termination of nondeterministic recursive programs. Zbl 0354.68021
de Bakker, J. W.
19
1976
Least fixed points revisited. Zbl 0348.68013
De Bakker, J. W.
4
1976
Exercises in denotational semantics. Zbl 0337.68011
Apt, Krysztof R.; de Bakker, J. W.
1
1976
On the completeness of the inductive assertion method. Zbl 0353.68040
de Bakker, J. W.; Meertens, L. G. L. T.
17
1975
Foundations of computer science. Zbl 0307.00016
2
1975
The fixed point approach in semantics: Theory and applications. Zbl 0315.68011
De Bakker, J. W.
1
1975
Least fixed points revisited. Zbl 0328.68009
de Bakker, J. W.
1
1975
A calculus for recursive program schemes. Zbl 0262.68004
de Bakker, J. W.; de Roever, W. P.
9
1973
A calculus for recursive program schemes. Zbl 0238.68006
De Bakker, J. W.; De Roever, W. P.
24
1972
Simple recursive program schemes and inductive assertions. Zbl 0259.68010
de Bakker, J. W.; Meertens, L. G. L. Th.
1
1972
Recursive procedures. Zbl 0274.02015
de Bakker, J. W.
22
1971
Axiom systems for simple assignment statements. Zbl 0225.68036
de Bakker, J. W.
1
1971
Semantics of programming languages. Zbl 0188.33101
de Bakker, J. W.
4
1969
Problems in the theory of programming languages. Zbl 0217.22203
de Bakker, J. W.
1
1968
Formal definition of programming languages. With an application to the definition of ALGOL 60. (Mathematical Centre Tracts. 16.). Zbl 0203.49204
de Bakker, J. W.
2
1967
all top 5

Cited by 346 Authors

14 de Bakker, Jacobus W.
13 Bergstra, Jan A.
11 Rutten, Jan J. M. M.
10 Majster-Cederbaum, Mila E.
10 Meyer, John-Jules Charles
9 Romaguera Bonilla, Salvador
8 van Breugel, Franck
7 Baier, Christel
7 de Vink, Erik P.
7 Kok, Joost N.
7 Olderog, Ernst-Rüdiger
6 Valero, Oscar
5 America, Pierre
5 Baeten, Jos C. M.
4 Hoare, C. A. R. Tony
4 Honsell, Furio
4 Klop, Jan Willem
4 Ponse, Alban
4 Priese, Lutz
3 Courcelle, Bruno
3 de Boer, Frank S.
3 Ésik, Zoltán
3 Forti, Marco
3 Guttmann, Walter
3 Harel, David
3 Hesselink, Wim H.
3 Lehmann, Daniel J.
3 Nolte, Doris
3 Palamidessi, Catuscia
3 Rodríguez-López, Jesús
3 Schmidt, Gunther
3 Todoran, Eneia Nicolae
3 Tucker, John V.
3 Zucker, Jeffery I.
2 Alessi, Fabio
2 Apt, Krzysztof Rafal
2 Arnold, André
2 Back, Ralph-Johan
2 Baldan, Paolo
2 Bethke, Inge
2 Birkedal, Lars
2 Bloom, Stephen L.
2 Bonsangue, Marcello Maria
2 Broy, Manfred
2 Chen, Tsong Yueh
2 Ciobanu, Gabriel
2 Cousot, Patrick
2 Darondeau, Philippe
2 de Bakker, Jaco
2 Desharnais, Jules
2 Di Pierro, Alessandra
2 Francez, Nissim
2 Gallier, Jean H.
2 Gielerak, Roman
2 Große-Rhode, Martin
2 Inverardi, Paola
2 Jaoua, Ali Mohamed
2 Katoen, Joost-Pieter
2 Kopperman, Ralph David
2 López Pelayo, Fernando
2 Maurer, Ward Douglas
2 Middelburg, Cornelis A.
2 Mili, Ali
2 Möller, Bernhard
2 Panangaden, Prakash
2 Pnueli, Amir
2 Pratt, Vaughan R.
2 Priami, Corrado
2 Roscoe, Andrew William
2 Sawerwain, Marek
2 Støvring, Kristian
2 Thamsborg, Jacob
2 Valverde, Jose C.
2 van der Houwen, Pieter J.
2 Watson, William Stephen
2 Wirsing, Martin
2 Worrell, James B.
2 Zetzsche, F.
2 Zhu, Huibiao
2 Zierer, Hans
1 Abramsky, Samson
1 Adámek, Jiří
1 Alghamdi, Maryam A.
1 Alsing, Paul M.
1 Amjad, Hasan
1 Anderson, Penny
1 Ariola, Zena M.
1 Audrito, Giorgio
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Badouel, Eric
1 Baranga, Andrei
1 Bashkin, Vladimir A.
1 Basin, David A.
1 Beal, Jacob
1 Becker, Gordon M.
1 Belkhiter, Nadir
1 Bellè, Gianna
1 Ben Mohamed Sghaier, Salah
1 Berghammer, Rudolf
...and 246 more Authors
all top 5

Cited in 61 Serials

95 Theoretical Computer Science
18 Information and Computation
12 Acta Informatica
10 Journal of Computer and System Sciences
9 Formal Aspects of Computing
8 Information Processing Letters
6 Topology and its Applications
5 The Journal of Logic and Algebraic Programming
4 Fuzzy Sets and Systems
4 RAIRO, Informatique Théorique
4 Studia Logica
4 International Journal of Computer Mathematics
3 Information Sciences
3 Mathematical Systems Theory
3 Annals of Pure and Applied Logic
3 Applied Numerical Mathematics
3 Journal of Logical and Algebraic Methods in Programming
2 Computers & Mathematics with Applications
2 Discrete Mathematics
2 Calcolo
2 Journal of Pure and Applied Algebra
2 The Journal of Symbolic Logic
2 Science of Computer Programming
1 Journal of Mathematical Analysis and Applications
1 BIT
1 Journal of Optimization Theory and Applications
1 Journal of Soviet Mathematics
1 Kybernetika
1 Notre Dame Journal of Formal Logic
1 Theory and Decision
1 International Journal of Production Research
1 Journal of Symbolic Computation
1 New Generation Computing
1 International Journal of Parallel Programming
1 Journal of the American Mathematical Society
1 Mathematical and Computer Modelling
1 International Journal of Algebra and Computation
1 Mathematical Structures in Computer Science
1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
1 Annals of Physics
1 Distributed Computing
1 RAIRO. Informatique Théorique et Applications
1 Formal Methods in System Design
1 Applied Categorical Structures
1 Journal of Functional Programming
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Abstract and Applied Analysis
1 International Journal of Applied Mathematics and Computer Science
1 Fundamenta Informaticae
1 Journal of Applied Mathematics
1 Quantum Information Processing
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 International Journal of Quantum Information
1 Fixed Point Theory and Applications
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Logical Methods in Computer Science
1 Afrika Matematika
1 Annalen der Physik
1 Computer Science Review

Citations by Year