A predicate transformer approach to semantics of parallel programs

Publisher Website

1 January 1989

proceedings article
Published by Association for Computing Machinery (ACM)

p. 249-263
https://doi.org/10.1145/72981.72999

Abstract

No abstract available

Keywords

Cited by 17 articles