Slide 14/25/20151 Metodi formali nello sviluppo software a.a.2013/2014 Prof.Anna Labella Slide 2 4/25/2015 2 Process Equivalences Sameness of behaviour = equivalence of states…
