Predicates are predicate transformers: a unified compositional theory for concurrency
J. Zwiers, Willem-P. de Roever · 1989
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].Due to the generality of the approach, a variety of parallel composition operators, based on shared variables, communication events, interleaving, maximal progress and the like, can be expressed as derived operations.