17/3/2014
76
A+                   B+                  C+                   D+
A-                    B-                   C-                   D-
Liveness: all cycles have at least one token [Commoner 1971]
Semi-decoupled 4-phase handshake protocol
CE-653 - De-Synchronisation Methodology