17/3/2014
53
A+                   B+
A-                    B-
Can we increase concurrency ?
A+                   B+
A-                    B-
A+                   B+
A-                    B-
not flow-equivalent
CE-653 - De-Synchronisation Methodology