Control predicates are better than dummy variables for reasoning about program control.
Lamport, Leslie.
SRC-RR-11 May 5, 1986 External
Keyword(s): Parallel programming-(Computer science);Surfaces-Data processing.
19 Pages
Back to Index