W.-P. de Roever1943BooksCompositionalityA Decade of concurrencyLinear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyStepwise refinement of distributed systemsConcurrency verificationRecursive program schemesData refinementData refinementAuthor data: Open Library
