Contracts for Mobile Processes.

Giuseppe Castagna, Luca Padovani

Browse the full CONCUR paper archive.