Chiara Bodei Pierpaolo Degano Flemming Nielson Hanne Riis Nielson Control Flow Analysis for the pi-calculus. 84-98 http://link.springer.de/link/service/series/0558/bibs/1466/14660084.htm 1998 conf/concur/1998 CONCUR db/conf/concur/concur1998.html#BodeiDNN98