diverges: does the agent contain an unguarded occurrence of @?
diverges A;
Notes
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!
Synonyms
div
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999