next up previous
Next: Non-Determinism: Up: Updated syntax Previous: Basic State:

External Stimuli:

A virtual environment generates events which are sensed by the system. Assuming that P1 has just been entered (so, event A has been generated) and the environment additionally provides event C a situation of non-determinism occurs.

Erich Mikk
Tue Nov 24 13:50:54 MET 1998