maypre: are two agents related by the may preorder?
Returns true iff the language of A is contained in the language of B.
See Hennessy: Algebraic Theory of Processes, MIT Press.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999