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