normalform: print an agent in normal form

normalform A;


This is a slight misnomer, and this command is not really intended for the end user. It takes what's returned by prefixform and simplifies further, still returning something strongly bisimilar to A.

See also

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