C. A. R. Hoare
C. A. R. Hoare.
Some properties of predicate transformers.
Journal of the ACM
, 25(3):461-480, July 1978.
Citations.
S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe.
A theory of communicating sequential processes.
Journal of the ACM
, 31(3):560-599, July 1984.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database