min: minimise an agent with respect to weak bisimulation
min(X,A);
minimise A, binding the result to X
Notes
If your variable is X, the CWB will use identifiers like XminStateNNN for
the states of the minimised agent. Any existing bindings will be overridden.
See also
eq
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999