W.-P. de Roever

ספרים שבהם W.-P. de Roever מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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