


default search action
Research and Education in Concurrent Systems (REX)
REX School/Symposium 1993: Noordwijkerhout, The Netherlands
- 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]
REX Workshop 1992: Beekbergen, The Netherlands
- 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]
REX Workshop 1991: Mook, The Netherlands
- 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]
REX Workshop 1990: Noordwijkerhout, The Netherlands
- 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]
REX Workshop 1989: Mook, The Netherlands
- 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]
REX Workshop 1988: Noordwijkerhout, The Netherlands
- 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]

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














