diverges: does the agent contain an unguarded occurrence of @?
Returns true iff there is an unguarded occurrence of bottom (@).
Notice especially that an agent which can just do taus for ever does
not diverge in this sense!
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999