AGENT	A	0	deadlock (nil)
		a:A	action prefix
		n:A	n a positive integer: A prefixed with n ticks
		A + A	choice
		A \| A	parallel composition
		A \ p	permission for a single particle
		A \ S	permission for a particle set
		A[R]	relabelling
		(A)	you can use brackets just as you'd expect
		X	agent variables begin with upper case
		@	divergence (for Walker-style divergence preorders etc.)
		$ A	A with arbitrary delay

Notes

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