** Next:** Instantiation
**Up:** Formal Definition
** Previous:** moves using the input

these depend
exclusively on the current state of the finite state control and the state
of the pushdown list. *e*-moves are specifically employed to model
and implement time-out conditions within CPs, so that interagents
can handle expired messages and automatically recover from
transmission errors

It should be noted that at present we are only interested in
deterministic CPs (DCP):
a CP is said to be deterministic when for each state ,
, and there is at most one possible move, that is .

*World Wide Web *

Wed Mar 10 11:44:57 MET 1999