normalform: print an agent in normal form
normalform A;
Notes
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