changes.mady.by.user Carol J. Lallier
Saved on Jul 21, 2012
...
This noncompliant code example violates the liveness property.
cnd_broadcast()