prefixform: print an agent in prefix form

prefixform A;

Notes

This produces an agent which is strongly bisimilar to A and which is a sum of prefixes, e.g. a.A + b.B + c.C.

Warning: identifiers appearing in the definition of A may get replaced by their current definitions, so if you later change the definition of such an identifier, A may cease to be bisimilar to what prefixform returned.

Synonyms

pf

See also

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