musteq: are two agents must equivalent?
musteq(A,B);
Notes
Returns true iff A and B are related both ways round by mustpre.
See Hennessy: Algebraic Theory of Processes, MIT Press.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999