AGENTA0deadlock (nil)
a:Aaction prefix
n:An a positive integer: A prefixed with n ticks
A + Achoice
A | Aparallel composition
A \ ppermission for a single particle
A \ Spermission for a particle set
(A)you can use brackets just as you'd expect
Xagent variables begin with upper case
@divergence (for Walker-style divergence preorders etc.)
$ AA with arbitrary delay


The order of precedence is as usual: Summation binds the weakest, followed by Strong Summation, Parallel Composition, Prefixing, and finally Permission and Relabelling. These precedence rules can be overcome by using parentheses.

If set used as a permission contains a non-particle action, this will cause a run-time error.

Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 14:16:32 BST 1999