B.2 Changes from 2.0 to 2.1

• New `linked parallel' operator, P[out<->in]Q, which is a generalised version of chaining. There is also a replicated version of this operator.

• Changes to the handling of comments (but should be backwards compatible).

• Improved error reporting, especially in communications.

• New assertion syntax for deadlock, livelock and determinism checks.