@Inproceedings{EPTCS19.7, author = {Capecchi, Sara and Troina, Angelo}, year = {2010}, title = {Types for BioAmbients}, editor = {Merelli, Emanuela and Quaglia, Paola}, booktitle = {{\rm Proceedings Third Workshop} From Biology To Concurrency and back, {\rm Paphos, Cyprus, 27th March 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {19}, publisher = {Open Publishing Association}, pages = {103-115}, doi = {10.4204/EPTCS.19.7}, }