On the Role of Prose in Specifications (Invited Talk).

Jade Alglave

Browse the full CONCUR paper archive.