Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs (1993)

Cached

Download Links

by Franck Van Breugel , Franck Van Breugel
Citations:3 - 0 self