Control Flow Analysis for the pi-calculus.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Browse the full CONCUR paper archive.