maypre: are two agents related by the may preorder?

maypre(A,B);

Notes

Returns true iff the language of A is contained in the language of B.

See Hennessy: Algebraic Theory of Processes, MIT Press.

See also

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