A Theory of Contracts for Web Services, (2008)

by G Castagna, N Gesbert, L Padovani
Venue:Proc. POPL’08,