default search action
J. W. de Bakker
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2000
- [j21]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) - [c32]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 - [c31]J. W. de Bakker:
Fixed Points in Metric Semantics. MFCSIT 2000: 70-71 - [c30]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. MFCSIT 2000: 72-99
1990 – 1999
- 1999
- [j20]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Informaticae 40(4): 335-382 (1999) - 1996
- [b2]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 - 1995
- [c29]J. W. de Bakker:
The Three Dimensions of Semantics. STRICT 1995: 1 - 1994
- [j19]J. W. de Bakker, Erik P. de Vink:
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundam. Informaticae 20(1/2/3): 3-34 (1994) - [j18]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) - [e10]J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
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 [contents] - 1993
- [j17]J. W. de Bakker, Erik P. de Vink:
Rendez-Vous with Metric Semantics. New Gener. Comput. 12(1): 53-90 (1993) - [c28]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 - [c27]J. W. de Bakker, Franck van Breugel:
Topological Models for Higher Ordr Control Flow. MFPS 1993: 122-142 - [e9]J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
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 [contents] - 1992
- [e8]J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg:
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 [contents] - 1991
- [j16]J. W. de Bakker:
Comparative Semantics for Flow of Control in Logic Programming without Logic. Inf. Comput. 94(2): 123-179 (1991) - [j15]J. W. de Bakker, J. H. A. Warmerdam:
Four Domains for Concurrency. Theor. Comput. Sci. 90(1): 127-149 (1991) - [c26]J. W. de Bakker, Erik P. de Vink:
Rendezvous with Metric Semantics. PARLE (2) 1991: 27-57 - [c25]J. W. de Bakker, Erik P. de Vink:
CCS for OO and LP. TAPSOFT, Vol.2 1991: 1-28 - [e7]J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
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 [contents] - 1990
- [j14]J. W. de Bakker, Joost N. Kok:
Comparative Metric Semantics for Concurrent Prolog. Theor. Comput. Sci. 75(1&2): 14-43 (1990) - [c24]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 - [e6]J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
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 [contents]
1980 – 1989
- 1989
- [j13]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) - [c23]J. W. de Bakker:
Designing Concurrency Semantics. IFIP Congress 1989: 591-598 - [e5]J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
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 [contents] - 1988
- [j12]J. W. de Bakker, John-Jules Ch. Meyer:
Metric Semantics for Concurrency. BIT 28(3): 504-529 (1988) - [j11]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) - [j10]Pierre America, Jaco de Bakker:
Designing Equivalent Semantic Models for Process Creation. Theor. Comput. Sci. 60: 109-176 (1988) - [c22]J. W. de Bakker, Joost N. Kok:
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. FGCS 1988: 347-355 - 1987
- [j9]J. W. de Bakker, John-Jules Ch. Meyer:
Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Informatica 24(5): 491-511 (1987) - [j8]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) - [e4]J. W. de Bakker, A. J. Nijman, Philip C. Treleaven:
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 [contents] - [e3]J. W. de Bakker, A. J. Nijman, Philip C. Treleaven:
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 [contents] - 1986
- [c21]Pierre America, Jaco de Bakker:
Designing Equvialent Semantic Models for Process Creation. Mathematical Models for the Semantics of Parallelism 1986: 21-80 - [c20]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 - [p3]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 - [e2]J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
Current Trends in Concurrency, Overviews and Tutorials. Lecture Notes in Computer Science 224, Springer 1986, ISBN 3-540-16488-X [contents] - 1985
- [c19]J. W. de Bakker, Joost N. Kok:
Towards a Uniform Topological Treatment of Streams and Functions on Streams. ICALP 1985: 140-148 - [c18]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 - [c17]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 - 1984
- [j7]J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker:
On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984) - [j6]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) - 1983
- [j5]J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker:
On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26: 53-82 (1983) - [c16]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 - [c15]J. W. de Bakker, Jeffery I. Zucker:
Processes and a Fair Semantics for the Ada Rendez-Vous. ICALP 1983: 52-66 - [c14]J. W. de Bakker, Jeffery I. Zucker:
Compactness in Semantics for Merge and Fair Merge. Logic of Programs 1983: 18-33 - 1982
- [j4]J. W. de Bakker, Jeffery I. Zucker:
Processes and the Denotational Semantics of Concurrency. Inf. Control. 54(1/2): 70-120 (1982) - [c13]Jaco de Bakker:
Session Discussion. Formal Description of Programming Concepts 1982: 251-264 - [c12]J. W. de Bakker, Jeffery I. Zucker:
Denotational Semantics of Concurrency. STOC 1982: 153-158 - 1981
- [c11]J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer:
Correctness of Programs with Function Procedures. Logic of Programs 1981: 94-112 - 1980
- [b1]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 - [e1]J. W. de Bakker, Jan van Leeuwen:
Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings. Lecture Notes in Computer Science 85, Springer 1980, ISBN 3-540-10003-2 [contents]
1970 – 1979
- 1979
- [c10]J. W. de Bakker:
A Sound and Complete Proof System for Partial Program Correctness. MFCS 1979: 1-12 - 1977
- [c9]Krzysztof R. Apt, J. W. de Bakker:
Semantics and Proof Theory of Pascal Procedures. ICALP 1977: 30-44 - [c8]J. W. de Bakker:
Semantics and the Foundations of Program Proving. IFIP Congress 1977: 279-284 - [c7]Jaco de Bakker:
Recursive Programs as Predicate Transformers. Formal Description of Programming Concepts 1977: 165-182 - [c6]J. W. de Bakker:
Semantics of Infinite Processes Using Generalized Trees. MFCS 1977: 240-246 - 1976
- [j3]J. W. de Bakker:
Least Fixed Points Revisited. Theor. Comput. Sci. 2(2): 155-181 (1976) - [c5]J. W. de Bakker:
Semantics and Termination of Nondeterministic Recursive Programs. ICALP 1976: 435-477 - [c4]Krzysztof R. Apt, J. W. de Bakker:
Exercises in Denotational Semantics. MFCS 1976: 1-11 - 1975
- [j2]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) - [c3]J. W. de Bakker:
Flow of Control in the Proof Theory of Structured Programming. FOCS 1975: 29-33 - [c2]J. W. de Bakker:
Least fixed points revisited. Lambda-Calculus and Computer Science Theory 1975: 27-61 - 1972
- [c1]J. W. de Bakker, Willem P. de Roever:
A Calculus for Recursive Program Schemes. ICALP 1972: 167-196 - 1971
- [p2]J. W. de Bakker:
Axiom systems for simple assignment statements. Symposium on Semantics of Algorithmic Languages 1971: 1-22 - [p1]J. W. de Bakker:
A property of linear conditionals. Symposium on Semantics of Algorithmic Languages 1971: 23-27
1960 – 1969
- 1966
- [j1]J. W. de Bakker:
On AXLE. Commun. ACM 9(4): 242 (1966)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: