Unifying Theories of Programming: First International ...
Preview
1 Object-Orientation in the UTP Thiago Santos, Ana Cavalcanti, Augusto Sampaio .................. 18 CSP Is a Retract of CCS Jifeng He, Tony Hoare .................. ....................... 38 A Design-Based Model of Reversible Computation Bill Stoddart, Frank ...