testeq: are two agents testing equivalent (i.e. failures equivalent)?



Returns true iff A and B are both must and may equivalent, that is, if they are related both ways round by both mustpre and maypre.

See Hennessy: Algebraic Theory of Processes, MIT Press.

Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999