Process Calculi Abstractions for Biology

Several approaches have been proposed to model biological systems by means of the formal techniques and tools available in computer science. To mention just a few of them, some representations are inspired by Petri nets theory and others by stochastic processes.

[1]  Joachim Niehren,et al.  A Stochastic Pi Calculus for Concurrent Objects , 2007, AB.

[2]  Corrado Priami,et al.  The Beta Workbench , 2007 .

[3]  Corrado Priami,et al.  Effective Index: a formal measure of drug effects , 2007 .

[4]  Corrado Priami,et al.  Beta-binders with Static Compartments , 2006 .

[5]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[6]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[7]  David Harel,et al.  Modeling biological reactivity: statecharts vs. Boolean logic , 2002, AVI '02.

[8]  Vincent Danos,et al.  Formal Molecular Biology done in CCS , 2003 .

[9]  V. N. Reddy,et al.  Qualitative analysis of biochemical reaction systems , 1996, Comput. Biol. Medicine.

[10]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[11]  Patrik D'haeseleer,et al.  Genetic network inference: from co-expression clustering to reverse engineering , 2000, Bioinform..

[12]  Stephen Gilmore,et al.  Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA , 2006, Trans. Comp. Sys. Biology.

[13]  J. Casti,et al.  Boundaries And Barriers: On The Limits To Scientific Knowledge , 1996 .

[14]  Gheorghe Paun.  P Systems with Active Membranes: Attacking NP-Complete Problems , 2001, J. Autom. Lang. Comb..

[15]  S Miyano,et al.  Algorithms for inferring qualitative models of biological networks. , 2000, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[16]  David R. Gilbert,et al.  Analysis of Signalling Pathways Using Continuous Time Markov Chains , 2006, Trans. Comp. Sys. Biology.

[17]  Corrado Priami,et al.  Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..

[18]  Peter Anderson.  Chemistry for the biosciences: the essential concepts , 2011 .

[19]  Nadia Busi,et al.  Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes , 2008, Electron. Notes Theor. Comput. Sci..

[20]  J. Doyle,et al.  Robust perfect adaptation in bacterial chemotaxis through integral feedback control. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[21]  D. Fell,et al.  A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks , 2000, Nature Biotechnology.

[22]  Adam Duguid,et al.  Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods , 2006, CMSB.

[23]  Ehud Shapiro,et al.  Cells as Computation , 2003, CMSB.

[24]  Amir Pnueli,et al.  Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.

[25]  Mario J. Pérez-Jiménez,et al.  A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems , 2005, IWINAC.

[26]  E. Shapiro,et al.  Cellular abstractions: Cells as computation , 2002, Nature.

[27]  Satoru Miyano,et al.  Algorithms for identifying Boolean networks and related biological networks based on matrix multiplication and fingerprint function , 2000, RECOMB '00.

[28]  Luca Cardelli,et al.  A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis , 2008, Electron. Notes Theor. Comput. Sci..

[29]  Corrado Priami,et al.  Modelling biochemical pathways through enhanced pi-calculus , 2004, Theor. Comput. Sci..

[30]  David Harel,et al.  Specifying and executing requirements: the play-in/play-out approach , 2002, OOPSLA '02.

[31]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[32]  Walter Fontana,et al.  The Barrier of Objects: From Dynamical Systems to Bounded Organizations , 1996 .

[33]  Corrado Priami,et al.  Shape Spaces in Formal Interactions , 2004, Complexus.

[34]  Flemming Nielson,et al.  Static Analysis of a Model of the LDL Degradation Pathway , 2006, Simulation and Verification of Dynamic Systems.

[35]  Paola Lecca,et al.  A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment , 2004, Simul..

[36]  Vincent Danos,et al.  Biological signalling and causality , 2007 .

[37]  Toni Kazic,et al.  Semiotes: a semantics for sharing , 2000, Bioinform..

[38]  Luca Cardelli,et al.  A Correct Abstract Machine for the Stochastic Pi-calculus , 2004 .

[39]  Satoru Miyano,et al.  Algorithms for Identifying Boolean Networks and Related Biological Networks Based on Matrix Multiplication and Fingerprint Function , 2000, J. Comput. Biol..

[40]  David Harel,et al.  Specifying and executing behavioral requirements: the play-in/play-out approach , 2003, Software & Systems Modeling.

[41]  R. Chang.  Physical Chemistry for the Biosciences , 2005 .

[42]  Russ B. Altman,et al.  Modelling biological processes using workflow and Petri Net models , 2002, Bioinform..

[43]  Monika Heiner,et al.  Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets , 2001 .

[44]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[45]  Marta Z. Kwiatkowska,et al.  Probabilistic model checking of complex biological pathways , 2008, Theor. Comput. Sci..

[46]  Cosimo Laneve,et al.  Graphs for Core Molecular Biology , 2003, CMSB.

[47]  Stephen Gilmore,et al.  The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.

[48]  Joachim Niehren,et al.  Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch , 2006, Trans. Comp. Sys. Biology.

[49]  Steffen van Bakel,et al.  Modelling Intracellular Fate of FGF Receptors With BioAmbients , 2008, Electron. Notes Theor. Comput. Sci..

[50]  Vincent Danos,et al.  Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers , 2005, CMSB.

[51]  Cosimo Laneve,et al.  A Simple Calculus for Proteins and Cells , 2007, Electron. Notes Theor. Comput. Sci..

[52]  Denys Duchier,et al.  Biomolecular Agents as Multi-behavioural Concurrent Objects , 2006, MTCoord@COORDINATION.

[53]  H Matsuno,et al.  Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[54]  Vincent Danos,et al.  Rule-Based Modelling of Cellular Signalling , 2007, CONCUR.

[55]  Vincent Danos,et al.  Scalable Simulation of Cellular Signaling Networks , 2007, APLAS.

[56]  D. Harel,et al.  Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.

[57]  Xin Chen,et al.  The TRANSFAC system on gene expression regulation , 2001, Nucleic Acids Res..

[58]  Luca Cardelli,et al.  Brane Calculi Interactions of Biological Membranes , 2004 .

[59]  Cosimo Laneve,et al.  Formal molecular biology , 2004, Theor. Comput. Sci..

[60]  Jane Hillston,et al.  Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks , 2007, FBTC@CONCUR.

[61]  Corrado Priami,et al.  Beta-binders for Biological Quantitative Experiments , 2006, QAPL.

[62]  S. Wodak,et al.  Representing and Analysing Molecular and Cellular Function Using the Computer , 2000, Biological chemistry.

[63]  Marta Z. Kwiatkowska,et al.  PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.

[64]  Mirco Tribastone.  The PEPA Plug-in Project , 2007 .

[65]  Vincent Danos,et al.  Projective Brane Calculus , 2004, CMSB.

[66]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[67]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[68]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[69]  Roberto Bruni,et al.  Deducing Interactions in Partially Unspecified Biological Systems , 2007, AB.

[70]  F. Young.  Biochemistry , 1955, The Indian Medical Gazette.

[71]  R Hofestädt,et al.  Quantitative modeling of biochemical networks , 1998, Silico Biol..

[72]  Flemming Nielson,et al.  Spatial Analysis of BioAmbients , 2004, SAS.

[73]  Rui Alves,et al.  Extending the method of mathematically controlled comparison to include numerical comparisons , 2000, Bioinform..

[74]  Vincent Danos,et al.  A Core Modeling Language for the Working Molecular Biologist (Abstract) , 2003, CMSB.

[75]  Luca Cardelli,et al.  A Graphical Representation for Biological Processes in the Stochastic pi-Calculus , 2006, Trans. Comp. Sys. Biology.

[76]  Gary D Bader,et al.  BIND--The Biomolecular Interaction Network Database. , 2001, Nucleic acids research.

[77]  Pierpaolo Degano,et al.  A Computational Approach to the Functional Screening of Genomes , 2007, PLoS Comput. Biol..

[78]  Pierpaolo Degano,et al.  VICE: A VIrtual CEll , 2004, CMSB.

[79]  Vincent Danos,et al.  Reversible Communicating Systems , 2004, CONCUR.

[80]  Hiroaki Kitano,et al.  Foundations of systems biology , 2001 .

[81]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[82]  S. Gilmore,et al.  Automatically deriving ODEs from process algebra models of signalling pathways , 2005 .

[83]  K. Kohn.  Molecular interaction map of the mammalian cell cycle control and DNA repair systems. , 1999, Molecular biology of the cell.

[84]  Russ B. Altman,et al.  Pacific Symposium on Biocomputing '99, World Scientific, New Jersey; Pacific Symposium on Biocomputing '00, World Scientific, New Jersey; Pacific Symposium on Biocomputing '01, World Scientific, New Jersey , 2003 .

[85]  David Gilbert,et al.  Analysis of signalling pathways using the prism model checker , 2005 .

[86]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[87]  Stephen Gilmore,et al.  Formal Methods for Biochemical Signalling Pathways , 2010 .

[88]  Nadia Busi,et al.  Modeling and Analysis of Biological Processes by Mem(Brane) Calculi and Systems , 2006, Proceedings of the 2006 Winter Simulation Conference.

[89]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[90]  Giorgio Bacci,et al.  Modal Logics for Brane Calculus , 2006, CMSB.

[91]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[92]  Flemming Nielson,et al.  Control Flow Analysis for BioAmbients , 2007, BioConcur@CONCUR.

[93]  M C Kohn,et al.  Identification of regulatory properties of metabolic networks by graph theoretical modeling. , 1991, Journal of theoretical biology.

[94]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[95]  Luca Cardelli,et al.  Brane Calculi , 2004, CMSB.

[96]  Nadia Busi,et al.  Towards a Casual Semantics for Brane Calculi , 2007 .

[97]  Paola Lecca,et al.  Cell Cycle Control in Eukaryotes: A BioSpi model , 2007, Electron. Notes Theor. Comput. Sci..

[98]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[99]  Corrado Priami,et al.  Beta Binders for Biological Interactions , 2004, CMSB.

[100]  Peter D. Karp,et al.  The EcoCyc Database , 2002, Nucleic Acids Res..

[101]  Raheel Ahmad,et al.  The π-Calculus: A theory of mobile processes , 2008, Scalable Comput. Pract. Exp..

[102]  D. Koshland.  Application of a Theory of Enzyme Specificity to Protein Synthesis. , 1958, Proceedings of the National Academy of Sciences of the United States of America.

[103]  Vincenzo Manca,et al.  A symbolic approach to the simulation of biochemical models: application to circadian rhythms , 2005, 2005 IEEE Computational Systems Bioinformatics Conference - Workshops (CSBW'05).

[104]  Hiroaki Kitano,et al.  Next generation simulation tools: the Systems Biology Workbench and BioSPICE integration. , 2003, Omics : a journal of integrative biology.

[105]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[106]  Corrado Priami,et al.  Causality and Concurrency in Beta-binders , 2006 .

[107]  Zoltan Szallasi,et al.  Genetic Network Analysis in Light of Massively Parallel Biological Data Acquisition , 1998, Pacific Symposium on Biocomputing.

[108]  Corrado Priami,et al.  A Parallel Beta-binders Simulator , 2007 .

[109]  M N Liebman,et al.  Qualitative modeling of normal blood coagulation and its pathological states using stochastic activity networks. , 1997, International journal of biological macromolecules.

[110]  Andrei Paun,et al.  The power of communication: P systems with symport/antiport , 2002, New Generation Computing.

[111]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .