Predicates are predicate transformers: a unified compositional theory for concurrency

Abstract

He Jifeng and Hoare's [He Jifeng] approach to integrate theories for "program8 as predicates" and "programs as predicate transformers" in sequential setting i generalieed to a compositional verification theory for concurrency, using idea8 of Zwiers' [Zwiers].