Exploring an Interface Model for CKA.

Bernhard Mller, Tony Hoare

Browse the full MPC paper archive.