Edit Profile (opens in new tab) de Bakker, Jacobus W. Compute Distance To: Compute Author ID: de-bakker.jacobus-w Published as: de Bakker, J. W.; De Bakker, J. W.; de Bakker, Jacobus W. more...less Documents Indexed: 58 Publications since 1967, including 9 Books 19 Contributions as Editor · 1 Further Contribution Co-Authors: 24 Co-Authors with 53 Joint Publications 787 Co-Co-Authors all top 5 Co-Authors 19 single-authored 14 Meyer, John-Jules Charles 11 Zucker, Jeffery I. 7 de Roever, Willem-Paul 7 de Vink, Erik P. 5 Klop, Jan Willem 5 Rozenberg, Grzegorz 4 Apt, Krzysztof Rafal 4 Olderog, Ernst-Rüdiger 4 Rutten, Jan J. M. M. 4 Treleaven, Philip C. 3 Bergstra, Jan A. 3 Kok, Joost N. 2 den Hartog, Jerry I. 2 Meertens, L. G. L. Th. 2 Nijman, A. J. 1 Arbab, Farhad 1 Blaauw, G. W. 1 Bonsangue, Marcello Maria 1 Dijkstra, Edsger Wybe 1 Duijvestijn, A. J. W. 1 Hazewinkel, Michiel 1 Horita, Eiichi 1 Lenstra, Jan Karel 1 Scutellà, A. 1 van Breugel, Franck 1 van der Houwen, Pieter J. 1 Van der Poel, Willem Louis 1 van Vliet, Johannes C. 1 Warmerdam, J. H. A. 1 Wilkes, Maurice Vincent 1 Zoutendijk, Guus all top 5 Serials 8 Theoretical Computer Science 8 Lecture Notes in Computer Science 2 Journal of Computer and System Sciences 2 Information and Computation 1 Acta Informatica 1 BIT 1 Information and Control 1 Topology and its Applications 1 Annales Societatis Mathematicae Polonae. Series IV 1 Parallel Computing 1 New Generation Computing 1 Fundamenta Informaticae 1 CWI Monographs all top 5 Fields 74 Computer science (68-XX) 20 General and overarching topics; collections (00-XX) 4 Mathematical logic and foundations (03-XX) 2 General topology (54-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 55 Publications have been cited 384 times in 246 Documents Cited by ▼ Year ▼ Processes and the denotational semantics of concurrency. Zbl 0508.68011de Bakker, J. W.; Zucker, J. I. 93 1982 A metric approach to control flow semantics. Zbl 0971.68099De Bakker, J. W.; De Vink, E. P. 27 1996 A calculus for recursive program schemes. Zbl 0238.68006De Bakker, J. W.; De Roever, W. P. 23 1972 Semantics and termination of nondeterministic recursive programs. Zbl 0354.68021de Bakker, J. W. 18 1976 Linear time and branching time semantics for recursion with merge. Zbl 0985.68517de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. 16 1984 On the completeness of the inductive assertion method. Zbl 0353.68040de Bakker, J. W.; Meertens, L. G. L. T. 15 1975 Recursive procedures. Zbl 0274.02015de Bakker, J. W. 15 1971 Denotational models for programming languages: Applications of Banach’s fixed point theorem. Zbl 0933.68086de Bakker, J. W.; de Vink, E. P. 14 1998 Four domains for concurrency. Zbl 0741.68045de Bakker, J. W.; Warmerdam, J. H. A. 12 1991 Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028De 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.68019de Bakker, J. W.; Kok, J. N.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I. 11 1986 Metric semantics for concurrency. Zbl 0661.68011de Bakker, J. W.; Meyer, J.-J. Ch. 10 1988 Processes and the denotational semantics of concurrency. Zbl 0508.68010de Bakker, J. W.; Zucker, J. I. 9 1983 A calculus for recursive program schemes. Zbl 0262.68004de Bakker, J. W.; de Roever, W. P. 8 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 7 1989 Compactness in semantics for merge and fair merge. Zbl 0558.68022De Bakker, J. W.; Zucker, J. I. 7 1984 Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M. 6 1994 Order and metric in the stream semantics of elemental concurrency. Zbl 0607.68014de Bakker, J. W.; Meyer, J.-J. Ch. 6 1987 Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. 6 1987 Recursive programs as predicate transformers. Zbl 0392.68006de Bakker, J. W. 5 1978 Comparative metric semantics for concurrent PROLOG. Zbl 0702.68077de Bakker, J. W.; Kok, J. N. 5 1990 Processes and a fair semantics for the ADA rendez-vous. Zbl 0516.68025de Bakker, J. W.; Zucker, J. I. 4 1983 Least fixed points revisited. Zbl 0348.68013De Bakker, J. W. 4 1976 Semantics and proof theory of PASCAL procedures. Zbl 0353.68036Apt, Krysztof R.; de Bakker, J. W. 3 1977 Semantics of infinite processes using generalized trees. Zbl 0368.68011de Bakker, J. W. 3 1977 Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0566.68011de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. 3 1985 Bisimulation semantics for concurrency with atomicity and action refinement. Zbl 0806.68041de Bakker, J. W.; de Vink, E. P. 3 1994 Metric semantics and full abstractness for action refinement and probabilistic choice. Zbl 1264.68104Den Hartog, J. I.; De Vink, E. P.; De Bakker, J. W. 3 2001 Comparative semantics for flow of control in logic programming without logic. Zbl 0728.68080de Bakker, J. W. 3 1991 Semantics of programming languages. Zbl 0188.33101de Bakker, J. W. 3 1969 Automata, languages and programming. Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. Zbl 0426.00014 2 1980 Formal definition of programming languages. With an application to the definition of ALGOL 60. (Mathematical Centre Tracts. 16.). Zbl 0203.49204de Bakker, J. W. 2 1967 On infinite computations in denotational semantics. Zbl 0514.68018de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I. 2 1983 Linear time and branching time semantics for recursion with merge. Zbl 0527.68011de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. 2 1983 Corrigendum: On infinite computations in denotational semantics. Zbl 0533.68020de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I. 2 1984 Current trends in concurrency. Overviews and tutorials. Zbl 0587.00018 2 1986 Correctness of programs with function procedures. Zbl 0463.68021de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch. 1 1981 Correctness of programs with function procedures. (Extended abstract). Zbl 0481.68015de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch. 1 1982 Semantics: foundations and applications. REX workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings. Zbl 0825.00095 1 1993 Languages for parallel architectures. Design, semantics, implementation models. Zbl 1080.68547 1 1989 Foundations of object-oriented languages. REX School/ Workshop Noordwijkerhout, the Netherlands, May 28 - June 1, 1990. Proceedings. Zbl 0875.00080 1 1991 Linear time and branching time semantics for recursion with merge. Zbl 0517.68026De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. 1 1983 Towards a uniform topological treatment of streams and functions on streams. Zbl 0566.68010de Bakker, J. W.; Kok, J. N. 1 1985 Problems in the theory of programming languages. Zbl 0217.22203de Bakker, J. W. 1 1968 Axiom systems for simple assignment statements. Zbl 0225.68036de Bakker, J. W. 1 1971 Simple recursive program schemes and inductive assertions. Zbl 0259.68010de Bakker, J. W.; Meertens, L. G. L. Th. 1 1972 Foundations of computer science. Zbl 0307.00016 1 1975 The fixed point approach in semantics: Theory and applications. Zbl 0315.68011De Bakker, J. W. 1 1975 Least fixed points revisited. Zbl 0328.68009de Bakker, J. W. 1 1975 Exercises in denotational semantics. Zbl 0337.68011Apt, Krysztof R.; de Bakker, J. W. 1 1976 Full abstractness of a metric semantics for action refinement. Zbl 0942.68071den Hartog, J. I.; de Vink, E. P.; de Bakker, J. W. 1 1999 A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A. 1 2000 PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume II: Parallel languages. Zbl 0608.00014 1 1987 A decade of concurrency. Reflections and perspectives. REX School/ Symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993. Proceedings. Zbl 0825.00132 1 1994 PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume I: Parallel architectures. Zbl 0624.68001 1 1987 Metric semantics and full abstractness for action refinement and probabilistic choice. Zbl 1264.68104Den 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.68107Bonsangue, 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.68071den 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.68086de Bakker, J. W.; de Vink, E. P. 14 1998 A metric approach to control flow semantics. Zbl 0971.68099De Bakker, J. W.; De Vink, E. P. 27 1996 Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M. 6 1994 Bisimulation semantics for concurrency with atomicity and action refinement. Zbl 0806.68041de 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 1 1994 Semantics: foundations and applications. REX workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings. Zbl 0825.00095 1 1993 Four domains for concurrency. Zbl 0741.68045de Bakker, J. W.; Warmerdam, J. H. A. 12 1991 Comparative semantics for flow of control in logic programming without logic. Zbl 0728.68080de 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 1 1991 Comparative metric semantics for concurrent PROLOG. Zbl 0702.68077de Bakker, J. W.; Kok, J. N. 5 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 7 1989 Languages for parallel architectures. Design, semantics, implementation models. Zbl 1080.68547 1 1989 Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028De Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I. 11 1988 Metric semantics for concurrency. Zbl 0661.68011de Bakker, J. W.; Meyer, J.-J. Ch. 10 1988 Order and metric in the stream semantics of elemental concurrency. Zbl 0607.68014de Bakker, J. W.; Meyer, J.-J. Ch. 6 1987 Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. 6 1987 PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume II: Parallel languages. Zbl 0608.00014 1 1987 PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume I: Parallel architectures. Zbl 0624.68001 1 1987 Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019de 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.68011de 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.68010de Bakker, J. W.; Kok, J. N. 1 1985 Linear time and branching time semantics for recursion with merge. Zbl 0985.68517de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. 16 1984 Compactness in semantics for merge and fair merge. Zbl 0558.68022De Bakker, J. W.; Zucker, J. I. 7 1984 Corrigendum: On infinite computations in denotational semantics. Zbl 0533.68020de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I. 2 1984 Processes and the denotational semantics of concurrency. Zbl 0508.68010de Bakker, J. W.; Zucker, J. I. 9 1983 Processes and a fair semantics for the ADA rendez-vous. Zbl 0516.68025de Bakker, J. W.; Zucker, J. I. 4 1983 On infinite computations in denotational semantics. Zbl 0514.68018de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I. 2 1983 Linear time and branching time semantics for recursion with merge. Zbl 0527.68011de 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.68026De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. 1 1983 Processes and the denotational semantics of concurrency. Zbl 0508.68011de Bakker, J. W.; Zucker, J. I. 93 1982 Correctness of programs with function procedures. (Extended abstract). Zbl 0481.68015de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch. 1 1982 Correctness of programs with function procedures. Zbl 0463.68021de 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 2 1980 Recursive programs as predicate transformers. Zbl 0392.68006de Bakker, J. W. 5 1978 Semantics and proof theory of PASCAL procedures. Zbl 0353.68036Apt, Krysztof R.; de Bakker, J. W. 3 1977 Semantics of infinite processes using generalized trees. Zbl 0368.68011de Bakker, J. W. 3 1977 Semantics and termination of nondeterministic recursive programs. Zbl 0354.68021de Bakker, J. W. 18 1976 Least fixed points revisited. Zbl 0348.68013De Bakker, J. W. 4 1976 Exercises in denotational semantics. Zbl 0337.68011Apt, Krysztof R.; de Bakker, J. W. 1 1976 On the completeness of the inductive assertion method. Zbl 0353.68040de Bakker, J. W.; Meertens, L. G. L. T. 15 1975 Foundations of computer science. Zbl 0307.00016 1 1975 The fixed point approach in semantics: Theory and applications. Zbl 0315.68011De Bakker, J. W. 1 1975 Least fixed points revisited. Zbl 0328.68009de Bakker, J. W. 1 1975 A calculus for recursive program schemes. Zbl 0262.68004de Bakker, J. W.; de Roever, W. P. 8 1973 A calculus for recursive program schemes. Zbl 0238.68006De Bakker, J. W.; De Roever, W. P. 23 1972 Simple recursive program schemes and inductive assertions. Zbl 0259.68010de Bakker, J. W.; Meertens, L. G. L. Th. 1 1972 Recursive procedures. Zbl 0274.02015de Bakker, J. W. 15 1971 Axiom systems for simple assignment statements. Zbl 0225.68036de Bakker, J. W. 1 1971 Semantics of programming languages. Zbl 0188.33101de Bakker, J. W. 3 1969 Problems in the theory of programming languages. Zbl 0217.22203de 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.49204de Bakker, J. W. 2 1967 all cited Publications top 5 cited Publications all top 5 Cited by 297 Authors 13 Bergstra, Jan A. 13 de Bakker, Jacobus W. 10 Majster-Cederbaum, Mila E. 10 Meyer, John-Jules Charles 10 Rutten, Jan J. M. M. 9 Romaguera Bonilla, Salvador 8 van Breugel, Franck 7 Baier, Christel 7 de Vink, Erik P. 7 Kok, Joost N. 6 Olderog, Ernst-Rüdiger 6 Valero, Oscar 5 America, Pierre 5 Baeten, Jos C. M. 4 Honsell, Furio 4 Klop, Jan Willem 4 Ponse, Alban 4 Priese, Lutz 3 de Boer, Frank S. 3 Ésik, Zoltán 3 Forti, Marco 3 Harel, David 3 Hesselink, Wim H. 3 Hoare, C. A. R. Tony 3 Lehmann, Daniel J. 3 Nolte, Doris 3 Palamidessi, Catuscia 3 Rodríguez-López, Jesús 3 Schmidt, Gunther 3 Tucker, John V. 3 Zucker, Jeffery I. 2 Alessi, Fabio 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 Courcelle, Bruno 2 Cousot, Patrick 2 de Bakker, Jaco 2 Desharnais, Jules 2 Di Pierro, Alessandra 2 Francez, Nissim 2 Gallier, Jean H. 2 Gielerak, Roman 2 Guttmann, Walter 2 Inverardi, Paola 2 Jaoua, Ali Mohamed 2 López Pelayo, Fernando 2 Maurer, Ward Douglas 2 Middelburg, Cornelis A. 2 Mili, Ali 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 Todoran, Eneia Nicolae 2 Valverde, Jose C. 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 Al-Ahmari, Abdulrahman M. 1 Alghamdi, Maryam A. 1 Amjad, Hasan 1 Anderson, Penny 1 Apt, Krzysztof Rafal 1 Ariola, Zena M. 1 Baranga, Andrei 1 Basin, David A. 1 Becker, Gordon M. 1 Belkhiter, Nadir 1 Bellè, Gianna 1 Ben Mohamed Sghaier, Salah 1 Berghammer, Rudolf 1 Berry, Daniel M. 1 Best, Eike 1 Boehm, Paul 1 Bornat, Richard 1 Bos, Victor 1 Bossi, Annalisa 1 Boudol, Gérard 1 Boudriga, Noureddine A. 1 Bowen, Jonathan P. 1 Brink, Chris 1 Britz, Katarina 1 Brookes, Stephen D. 1 Cant, A. ...and 197 more Authors all top 5 Cited in 52 Serials 91 Theoretical Computer Science 18 Information and Computation 12 Acta Informatica 9 Journal of Computer and System Sciences 8 Information Processing Letters 8 Formal Aspects of Computing 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 Mathematical Systems Theory 3 Annals of Pure and Applied Logic 3 Journal of Logical and Algebraic Methods in Programming 2 Computers & Mathematics with Applications 2 Discrete Mathematics 2 Calcolo 2 Information Sciences 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 MSCS. Mathematical Structures in Computer Science 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 Journal of Applied Mathematics 1 Quantum Information Processing 1 Journal of Applied Logic 1 Fixed Point Theory and Applications 1 Asian Journal of Control 1 Afrika Matematika 1 Computer Science Review all top 5 Cited in 20 Fields 220 Computer science (68-XX) 42 Mathematical logic and foundations (03-XX) 29 General topology (54-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 14 Category theory; homological algebra (18-XX) 3 Quantum theory (81-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 2 Measure and integration (28-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Functional analysis (46-XX) 2 Operator theory (47-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year