The Fork Calculus.

Klaus Havelund, Kim Guldstrand Larsen

Browse the full ICALP paper archive.