J. W. de Bakker

J. W. de Bakker: Fixed Points in Metric Semantics. Electr. Notes Theor. Comput. Sci. 40: 70-71 (2000)

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker: Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. Electr. Notes Theor. Comput. Sci. 40: 72-99 (2000)

Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro: A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. 240(1): 3-47 (2000)

Jaco de Bakker, Franck van Breugel: From Banach to Milner: metric semantics for second order communication and concurrency. Proof, Language, and Interaction 2000: 99-132

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker: Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Inform. 40(4): 335-382 (1999)

Jacobus W. de Bakker, Erik P. de Vink: Control flow semantics. MIT Press 1996, isbn 978-0-262-04154-6, pp. I-XVII, 1-564

J. W. de Bakker, Erik P. de Vink: Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundam. Inform. 20(1/2/3): 3-34 (1994)

Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten: Fully Abstract Denotational Models for Nonuniform Concurrent Languages. Inf. Comput. 115(1): 125-178 (1994)

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings. Lecture Notes in Computer Science 803, Springer 1994, isbn 3-540-58043-3

J. W. de Bakker, Erik P. de Vink: Rendez-Vous with Metric Semantics. New Generation Comput. 12(1): 53-90 (1993)

J. W. de Bakker, Franck van Breugel, Arie de Bruin: Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. MFCS 1993: 252-261

J. W. de Bakker, Franck van Breugel: Topological Models for Higher Ordr Control Flow. MFPS 1993: 122-142

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings. Lecture Notes in Computer Science 666, Springer 1993, isbn 3-540-56596-5

J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Lecture Notes in Computer Science 600, Springer 1992, isbn 3-540-55564-1

J. W. de Bakker: Comparative Semantics for Flow of Control in Logic Programming without Logic. Inf. Comput. 94(2): 123-179 (1991)

J. W. de Bakker, J. H. A. Warmerdam: Four Domains for Concurrency. Theor. Comput. Sci. 90(1): 127-149 (1991)

J. W. de Bakker, Erik P. de Vink: Rendezvous with Metric Semantics. PARLE (2) 1991: 27-57

J. W. de Bakker, Erik P. de Vink: CCS for OO and LP. TAPSOFT, Vol.2 1991: 1-28

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings. Lecture Notes in Computer Science 489, Springer 1991, isbn 3-540-53931-X

J. W. de Bakker, Joost N. Kok: Comparative Metric Semantics for Concurrent Prolog. Theor. Comput. Sci. 75(1&2): 14-43 (1990)

J. W. de Bakker, J. H. A. Warmerdam: Metric Pomset Semantics for a Concurrnt Language with Recursion. Semantics of Systems of Concurrent Processes 1990: 21-49

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings. Lecture Notes in Computer Science 430, Springer 1990, isbn 3-540-52559-9

Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten: Denotational Semantics of a Parallel Object-Oriented Language. Inf. Comput. 83(2): 152-205 (1989)

J. W. de Bakker: Designing Concurrency Semantics. IFIP Congress 1989: 591-598

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings. Lecture Notes in Computer Science 354, Springer 1989, isbn 3-540-51080-X

J. W. de Bakker, John-Jules Ch. Meyer: Metric Semantics for Concurrency. BIT 28(3): 504-529 (1988)

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci. 36(2): 158-224 (1988)

Pierre America, Jaco de Bakker: Designing Equivalent Semantic Models for Process Creation. Theor. Comput. Sci. 60: 109-176 (1988)

J. W. de Bakker, Joost N. Kok: Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. FGCS 1988: 347-355

J. W. de Bakker, John-Jules Ch. Meyer: Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Inf. 24(5): 491-511 (1987)

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. 49: 87-112 (1987)

J. W. de Bakker, A. J. Nijman, Philip C. Treleaven (Eds.): PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings. Lecture Notes in Computer Science 258, Springer 1987, isbn 3-540-17943-7

J. W. de Bakker, A. J. Nijman, Philip C. Treleaven (Eds.): PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings. Lecture Notes in Computer Science 259, Springer 1987, isbn 3-540-17945-3

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Current Trends in Concurrency, Overviews and Tutorials. Lecture Notes in Computer Science 224, Springer 1986, isbn 3-540-16488-X

J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency 1986: 51-122

Pierre America, Jaco de Bakker: Designing Equvialent Semantic Models for Process Creation. Mathematical Models for the Semantics of Parallelism 1986: 21-80

Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten: Operational Semantics of a Parallel Object-Oriented Language. POPL 1986: 194-208

J. W. de Bakker, Joost N. Kok: Towards a Uniform Topological Treatment of Streams and Functions on Streams. ICALP 1985: 140-148

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP 1985: 149-157

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency. STOC 1985: 252-262

J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984)

J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. Theor. Comput. Sci. 34: 135-156 (1984)

J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26: 53-82 (1983)

J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. ICALP 1983: 39-51

J. W. de Bakker, Jeffery I. Zucker: Processes and a Fair Semantics for the Ada Rendez-Vous. ICALP 1983: 52-66

J. W. de Bakker, Jeffery I. Zucker: Compactness in Semantics for Merge and Fair Merge. Logic of Programs 1983: 18-33

J. W. de Bakker, Jeffery I. Zucker: Processes and the Denotational Semantics of Concurrency. Information and Control 54(1/2): 70-120 (1982)

J. W. de Bakker, Jeffery I. Zucker: Denotational Semantics of Concurrency. STOC 1982: 153-158

J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer: Correctness of Programs with Function Procedures. Logic of Programs 1981: 94-112

Jacobus W. de Bakker, Arie de Bruin, Jeffrey Zucker: Mathematical theory of program correctness. Prentice-Hall international series in computer science, Prentice Hall 1980, isbn 978-0-13-562132-5, pp. I-XV, 1-505

J. W. de Bakker, Jan van Leeuwen (Eds.): Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings. Lecture Notes in Computer Science 85, Springer 1980, isbn 3-540-10003-2

J. W. de Bakker: A Sound and Complete Proof System for Partial Program Correctness. MFCS 1979: 1-12

Krzysztof R. Apt, J. W. de Bakker: Semantics and Proof Theory of Pascal Procedures. ICALP 1977: 30-44

J. W. de Bakker: Semantics and the Foundations of Program Proving. IFIP Congress 1977: 279-284

J. W. de Bakker: Semantics of Infinite Processes Using Generalized Trees. MFCS 1977: 240-246

J. W. de Bakker: Least Fixed Points Revisited. Theor. Comput. Sci. 2(2): 155-181 (1976)

J. W. de Bakker: Semantics and Termination of Nondeterministic Recursive Programs. ICALP 1976: 435-477

Krzysztof R. Apt, J. W. de Bakker: Exercises in Denotational Semantics. MFCS 1976: 1-11

J. W. de Bakker, Lambert G. L. T. Meertens: On the Completeness of the Inductive Assertion Method. J. Comput. Syst. Sci. 11(3): 323-357 (1975)

J. W. de Bakker: Flow of Control in the Proof Theory of Structured Programming. FOCS 1975: 29-33

J. W. de Bakker: Least fixed points revisited. Lambda-Calculus and Computer Science Theory 1975: 27-61

J. W. de Bakker, Willem P. de Roever: A Calculus for Recursive Program Schemes. ICALP 1972: 167-196

J. W. de Bakker: Axiom systems for simple assignment statements. Symposium on Semantics of Algorithmic Languages 1971: 1-22

J. W. de Bakker: A property of linear conditionals. Symposium on Semantics of Algorithmic Languages 1971: 23-27

J. W. de Bakker: On AXLE. Commun. ACM 9(4): 242 (1966)