A Basic Contract Language for Web Services.

Samuele Carpineti, Cosimo Laneve

Browse the full ESOP paper archive.