closure: find the weak derivatives of an agent via a trace


lists the agents reachable from A via action a


ditto, but via the observation a,b,...


The first case lists all B such that A =a=> B, where a may be an observable action, tau, or eps.

In the second case, tau or eps may be included in the trace, but will be ignored: if the trace is l, you get all B such that A =^l=> B.

(Strange? yes, I think so!)



See also

  • sim
  • transitions
  • derivatives
  • obs
  • vs
  • random
  • init
    Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999