default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJ. W. de Bakker
- > Home > Persons > J. W. de Bakker
Publications
- 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 - [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 - 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 - 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
- [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) - [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] - 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) - [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) - 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) - [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] - 1977
- [c9]Krzysztof R. Apt, J. W. de Bakker:
Semantics and Proof Theory of Pascal Procedures. ICALP 1977: 30-44 - 1976
- [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) - 1972
- [c1]J. W. de Bakker, Willem P. de Roever:
A Calculus for Recursive Program Schemes. ICALP 1972: 167-196
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 2024-04-24 23:08 CEST 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:
