Flow equivalence
[Guernic, Talpin, Lann, 2003]
17/3/2014
31
CE-653 - De-Synchronisation Methodology