next up previous
Next: Instantiation Up: Formal Definition Previous: moves using the input

e-moves

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

displaymath2451

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 tex2html_wrap2441 , tex2html_wrap2442 , tex2html_wrap2443 and tex2html_wrap2444 there is at most one possible move, that is tex2html_wrap2445 .



World Wide Web
Wed Mar 10 11:44:57 MET 1999