BioAmbients: an abstraction for biological compartmentsAviv Regev, Ehud Shapiro, Luca Cardelli et al.|Theoretical Computer Science|2004Cited by 476