@misc(BioCHAM,
 title        = "BIOCHAM. Available at \texttt {http://contraintes.inria.fr/BIOCHAM/}",
)
@inproceedings(AluBelKumMin01,
 author       = "Rajeev Alur and Calin Belta and Vijay Kumar and Max Mintz",
 year         = "2001",
 title        = "Hybrid Modeling and Simulation of Biomolecular Networks",
 booktitle    = "Hybrid Systems: Computation and Control",
 series       = "LNCS",
 volume       = "2034",
 publisher    = "Springer",
 pages        = "19--32",
 doi          = "10.1007/3-540-45351-2$\_$6",
)
@article(BarMagMilTro06a,
 author       = "Roberto Barbuti and Andrea Maggiolo-Schettini and Paolo Milazzo and Angelo Troina",
 year         = "2006",
 title        = "A Calculus of Looping Sequences for Modelling Microbiological Systems",
 journal      = "Fundamenta Informatic\ae ",
 volume       = "72",
 number       = "1--3",
 pages        = "21--35",
 doi          = "10.1.1.77.4707",
)
@inproceedings(CT10,
 author       = "Sara Capecchi and Angelo Troina",
 year         = "2010",
 title        = "Types for BioAmbients",
 booktitle    = "From Biology To Concurrency and back",
 series       = "EPTCS",
 volume       = "19",
 pages        = "103--115",
 doi          = "10.4204/EPTCS.19.7",
)
@inproceedings(Car05,
 author       = "Luca Cardelli",
 year         = "2005",
 title        = "Brane Calculi. Interactions of Biological Membranes",
 booktitle    = "Computational Methods in Systems Biology (CMSB'04)",
 series       = "LNCS",
 volume       = "3082",
 publisher    = "Springer",
 pages        = "257--280",
 doi          = "10.1.1.105.8399",
)
@article(CCD04,
 author       = "Nathalie Chabrier-Rivier and Marc Chiaverini and Vincent Danos and François Fages and Vincent Schachter",
 year         = "2004",
 title        = "Modeling and Querying Biomolecular Interaction Networks",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 pages        = "25--44",
 doi          = "10.1016/j.tcs.2004.03.063",
)
@article(Cur_etal04,
 author       = "Michele Curti and Pierpaolo Degano and Corrado Priami and Cosima Tatiana Baldari",
 year         = "2004",
 title        = "Modelling Biochemical Pathways through enhanced $\pi $-calculus",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 number       = "1",
 pages        = "111--140",
 doi          = "10.1016/j.tcs.2004.03.066",
)
@article(DFHK09,
 author       = "Vincent Danos and J\'{e}r\^{o}me Feret and Walter Fontana and Russ Harmer and Jean Krivine",
 year         = "2009",
 title        = "Rule-Based Modelling and Model Perturbation",
 journal      = "Transactions on Computational Systems Biology XI",
 volume       = "11",
 pages        = "116--137",
 doi          = "10.1007/978-3-642-04186-0$\_$6",
)
@article(DanLan04,
 author       = "Vincent Danos and Cosimo Laneve",
 year         = "2004",
 title        = "Formal Molecular Biology",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 pages        = "69--110",
 doi          = "10.1016/j.tcs.2004.03.065",
)
@inproceedings(DGT09a,
 author       = "Mariangiola Dezani-Ciancaglini and Paola Giannini and Angelo Troina",
 year         = "2009",
 title        = "A Type System for Required/Excluded Elements in CLS",
 booktitle    = "Developments in Computational Models (DCM'09)",
 series       = "EPTCS",
 volume       = "9",
 pages        = "38--48",
 doi          = "10.4204/EPTCS.9.5",
)
@inproceedings(GGPPR08,
 author       = "Daniel D\'{\i }az-Pernil and Ignacio P{\'e}rez-Hurtado and Mario J. P{\'e}rez-Jim{\'e}nez and Agustin Riscos-N{\'u}{\~n}ez",
 year         = "2008",
 title        = "A P-Lingua Programming Environment for Membrane Computing",
 booktitle    = "Workshop on Membrane Computing",
 pages        = "187--203",
 doi          = "10.1007/978-3-540-95885-7$\_$14",
)
@article(FS08,
 author       = "Fran\c {c}ois Fages and Sylvain Soliman",
 year         = "2008",
 title        = "Abstract interpretation and types for systems biology",
 journal      = "Theoretical Computer Science",
 volume       = "403",
 number       = "1",
 pages        = "52--70",
 doi          = "10.1016/j.tcs.2008.04.024",
)
@inproceedings(HD08,
 author       = "Jochen S. Hub and Bert L. de Groot",
 year         = "2008",
 title        = "Mechanism of selectivity in aquaporins and aquaglyceroporins",
 booktitle    = "Proceedings of National Academy of Sciences of the USA",
 volume       = "105",
 pages        = "1198–--1203",
 doi          = "10.1073/pnas.0707662104",
)
@article(IPW01,
 author       = "Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler",
 year         = "2001",
 title        = "Featherweight Java: a minimal core calculus for Java and GJ",
 journal      = "ACM Transactions on Programming Languages and System",
 volume       = "23",
 pages        = "396--450",
 doi          = "10.1145/503502.503505",
)
@misc(littleb,
 author       = "Aneil Mallavarapu and Matthew Thomson and Benjamin Ullian and Jeremy Gunawardena",
 title        = "little b",
 url          = "http://www.littleb.org",
)
@inproceedings(MatDoiNagMiy00,
 author       = "Hiroshi Matsuno and Atsushi Doi and Masao Nagasaki and Satoru Miyano",
 year         = "2000",
 title        = "Hybrid Petri Net Representation of Gene Regulatory Networks",
 booktitle    = "Pacific Symposium on Biocomputing (PSB'00)",
 publisher    = "World Scientific Press",
 pages        = "341--352",
)
@book(Pau02,
 author       = "Gheorghe P{\u a}un",
 year         = "2002",
 title        = "Membrane Computing. An Introduction",
 publisher    = "Springer",
)
@article(PP10,
 author       = "Michael Pedersen and Gordon D. Plotkin",
 year         = "2010",
 title        = "A Language for Biochemical Systems: Design and Formal Specification",
 journal      = "Transactions on Computational Systems Biology",
 volume       = "12",
 pages        = "77--145",
 doi          = "10.1007/978-3-642-11712-1",
)
@inproceedings(PriQua05,
 author       = "Corrado Priami and Paola Quaglia",
 year         = "2005",
 title        = "Beta Binders for Biological Interactions",
 booktitle    = "Computational Methods in Systems Biology (CMSB'04)",
 series       = "LNCS",
 volume       = "3082",
 pages        = "20--33",
 doi          = "10.1007/978-3-540-25974-9$\_$3",
)
@article(Reg_etal04,
 author       = "Aviv Regev and Ekaterina M. Panina and William Silverman and Luca Cardelli and Ehud Shapiro",
 year         = "2004",
 title        = "BioAmbients: An Abstraction for Biological Compartments",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 pages        = "141--167",
 doi          = "10.1016/j.tcs.2004.03.061",
)
@inproceedings(RegSilSha01,
 author       = "Aviv Regev and William Silverman and Ehud Shapiro",
 year         = "2001",
 title        = "Representation and Simulation of Biochemical Processes using the Pi-Calculus Process Algebra",
 booktitle    = "Pacific Symposium on Biocomputing (PCB'01)",
 volume       = "6",
 pages        = "459--470",
)