min: minimise an agent with respect to weak bisimulation
minimise A, binding the result to X
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.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999