Home > Authors > W.-P. de Roever

W.-P. de Roever

All books by W.-P. de Roever

(Displaying 3 Books)

A Decade of concurrency

A Decade of concurrency

J. W. de Bakker

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

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

Willem-Paul de Roever

Stepwise refinement of distributed systems

Stepwise refinement of distributed systems

J. W. de Bakker

Looking for another book by W.-P. de Roever? Search for the book by title.