Control Flow Analysis for BioAmbients. - Flemming Nielson; Hanne Riis Nielson; Corrado Priami; Debora Rosa (BioConcur@CONCUR, 2003)