Proof methodologies for behavioural equivalence in DPI (2005)

by A Ciaffaglione, M Hennessy, J Rathke
Venue:In Proc. FORTE ’05, vol. 3731 of LNCS