Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency.

Job Zwiers, Willem P. de Roever

Browse the full PODC paper archive.