Nielson, Flemming and Nielson, Hanne Riis and Priami, Corrado and da Rosa, Debora Schuch (2003) Control Flow Analysis for BioAmbients. [Departmental Technical Report] (Unpublished)