Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.
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.
Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.