| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| A Decade of Concurrency: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings | Taschenbuch | | 978-3-540-58043-0 | 2008 | J.W.de Bakker · G. Rozenberg |
| A Decade of Concurrency: Reflections and Perspectives: Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993: Proceedings | Paperback | | 978-0-387-58043-2 | 1994 | J. W. De Bakker |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly With the Working Group Provably Correct S | " | | 978-0-387-58468-3 | 1994 | Working Group Provably Correct Systems |
| Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 | " | | 978-3-662-19691-5 | 2014 | J.W. de Bakker · G. Rozenberg |
| Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 | Taschenbuch | | 978-3-540-53931-5 | 2008 | J.W. de Bakker · G. Rozenberg |
| Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 | Paperback | | 978-0-387-53931-7 | 1991 | J. W. De Bakker |
| Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings | Taschenbuch | | 978-3-540-55564-3 | 2008 | J.W.de Bakker · G. Rozenberg · C. Huizing |
| Real-Time: Theory in Practice: Rex Workshop Mook, the Netherlands, June 1991 Proceedings | Paperback | | 978-0-387-55564-5 | 1992 | J. W. De Bakker · C. Huizing |
| Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings | Taschenbuch | | 978-3-540-56596-3 | 2008 | J.W.de Bakker · G. Rozenberg |
| Semantics: Foundations and Applications: Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings | Paperback | | 978-0-387-56596-5 | 1993 | J. W. De Bakker |
| Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: Proceedings | " | | 978-0-387-52559-4 | 1990 | " |
| Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings | Taschenbuch | | 978-3-540-52559-2 | 1990 | J. W. de Bakker · G. Rozenberg |