17/3/2014
71
A+                   B+
A-                    B-
A+                   B+
A-                    B-
A+                   B+
A-                    B-
A+                   B+
A-                    B-
A+                   B+
A-                    B-
Theorem:
      any reduction in concurrency preserves flow-equivalence
CE-653 - De-Synchronisation Methodology