Loading...

More from W.-P. de Roever

cover of Concurrency verification
cover of Semantics
cover of Foundations of object-oriented languages
cover of A Decade of concurrency
cover of Stepwise refinement of distributed systems
cover of Real-time, theory in practice

Formal Techniques in Real-Time and Fault-Tolerant Systems

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

Geological investigations in the southwestern Moetis region

the BiblioNest logo

The BiblioNest. Curate your collection, your way.

ExploreLibraryAbout

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