The Static Derivation of Concurrency and its Mechanzed Certification.

Christian Lengauer, Chua-Huang Huang

Browse the full CONCUR paper archive.