A theory of contracts for web services.

Giuseppe Castagna, Nils Gesbert, Luca Padovani

Browse the full POPL paper archive.