Published “Guarded commands, nondeterminacy and formal derivation of programs” in Communications of the ACM — cited 1,384 times.
- #crossref
- #research
- #work
Published “Guarded commands, nondeterminacy and formal derivation of programs” in Communications of the ACM — cited 1,384 times.
Captured 2026-08-17 from Crossref. The archived copy is preserved so this citation survives link rot.