B.23 Changes from 2.91 to 2.94
New features:
-
prioritise(): a transformation on processes to prioritise groups of events over each other.
-
wbisim(): Divergence respecting Weak Bisimulation
-
P [+A+] Q: A parallel choice where events in A do not resolve the choice.
-
Timed CSP.
Bugfixes:
-
Fix error with parsing sequential composition.
-
Fix exception operator semantics
-
Fix interrupt semantics
-
Fix parsing of certain recursive process definitions.
-
Fix Refusal Testing normalisation crash.
-
Fix crash attemping to explicate lazily enumerated machines.
-
Fix infinite recursion due to labels inside let..within definitions not being marked as such.
-
Fix crash where Node has yet to be constructed, but is compared to one which happens to hash to 0.
This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.