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