17/3/2014
78
Results regarding Live-ness
At least three latches in a
ring are required with only one data token circulating[Muller 1962]
Theorem:any hybrid combination of protocols is live if the simple 4-phase protocol is not used
Proof: any cycle has at least one token
CE-653 - De-Synchronisation Methodology