W.-P. de Roever

Books that list W.-P. de Roever among their authors but not as the lead author: co-written works, collections and compilations.

A Decade of concurrencyJ. W. de Bakker

A Decade of concurrency

J. W. de Bakker · 1994

Stepwise refinement of distributed systemsJ. W. de Bakker

Stepwise refinement of distributed systems

J. W. de Bakker · 1990

Linear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyWillem-Paul de Roever

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Willem-Paul de Roever · 1989