Loading...

More from W. P. De Roever

cover of Data refinement
cover of Real-time, theory in practice
cover of Stepwise refinement of distributed systems
cover of Foundations of object-oriented languages
cover of Concurrency verification
cover of Semantics
cover of A Decade of concurrency
cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
cover of Current Trends in Concurrency
the BiblioNest logo

The BiblioNest. Curate your collection, your way.

ExploreLibraryAbout

© 2026 Ann Mathenge · Built with love, coffee, and cat hair.