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!)
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999