Erratum to “Predicate transformers for reasoning about concurrent computation”

Article OPEN
Chandy, K.Mani; Sanders, Beverly A.;
(1997)
Share - Bookmark