next up previous
Next: OR-state: Up: Updated syntax Previous: Default Connector:

Status and Active States:

Computations are sequences of statuses. A status consists of two components: a set of states in which the computation currently resides (also called ``active states'') and a set of currently present events. At the moment, in our example SUD and P1 are active. Below, we generally mention only subsets of the set of active states; implicitly it is understood that all ancestor states of an active state are also active. The set of present events is tex2html_wrap_inline481. Events provided by the environment are recorded in the event set of the status.

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