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