W. P. De Roever

A Decade of concurrency

Year unknown J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, and W. P. De Roever

Current Trends in Concurrency

Year unknown J. W. de Bakker, W. P. De Roever, and Grzegorz Rozenberg

Formal Techniques in Real-Time an...

Formal Techniques in Real-Time and Fault-Tolerant Systems

Year unknown

Foundations of object-oriented languages

Year unknown J. W. De Bakker, W. P. De Roever, and REX School/Workshop (1990 Noordwijkerhout, Netherlands)

Real-time, theory in practice

Year unknown REX Workshop (1991 Mook, Netherlands), J. W. De Bakker, C. Huizing, and W. P. De Roever

Semantics

Year unknown REX Workshop (1992 Beekbergen, Netherlands), J. W. De Bakker, and W. P. De Roever

Stepwise refinement of distributed systems

Year unknown J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, and W. P. De Roever