J. W. de Bakker

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Willem P. de Roever

> Home > Persons > J. W. de Bakker

Publications

1994
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/1993
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
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/1992
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/1991
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
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/1990
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/1990
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
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/1989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/1989
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
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/1988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/1988
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]
1986
[e2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/Trends1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Trends1986
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]
1972
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icalp/BakkerR72
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BakkerR72
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.