Up: Updated syntax
Previous: Basic State:
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.
Tue Nov 24 13:50:54 MET 1998