derivatives: find the derivatives of an agent via a given action
derivatives(a,A);
Notes
If there are several derivations of A -a-> B, B will still only be listed
once.
Synonyms
dr, actders
See also
sim
transitions
closure
obs
vs
random
init
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999