Triggered instructions: a control paradigm for spatially-programmed architectures
Guarded commands, nondeterminacy and formal derivation of programs