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

closure(a,A);

lists the agents reachable from A via action a

closure(a,b,...,A);

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

Notes

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!)

Synonyms

cl,actcl

See also

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