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