Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, Safety.

William G. Golson

Browse the full CONCUR paper archive.