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