W. P. De Roever

• A Decade of concurrency
• Current Trends in Concurrency
• Foundations of object-oriented languages
• Real-time, theory in practice
• Semantics
• Stepwise refinement of distributed systems
• Formal Techniques in Real-Time and Fault-Tolerant Systems