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