Shared VariablesNon-determinism |
ARCHITECTURE non_determinist OF example IS SHARED VARIABLE count : INTEGER; BEGIN p1 : PROCESS BEGIN count := 1; WAIT; END PROCESS p1; p2 : PROCESS BEGIN count := 2; WAIT; END PROCESS p2; END non_determinist; |
[Berge93]
Copyright © 1993 by Kluwer Academic Publishers. Reprinted by permission.