next up previous
Next: e-moves Up: Formal Definition Previous: Formal Definition

moves using the input list

these depend on the current state of the finite state control, the performative and predicate of a message into the input list and the state of the pushdown list. For instance, the move expressed by the following transition allows a trading interagent to convey to the auctioneer a request for bidding received from its customer (a buyer agent) whenever an tex2html_wrap2437 , received from the auctioneer, has been previously pushed upon the pushdown list

displaymath2439



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