Process Calculi, Systems Biology and Artificial Chemistry

[1]  Roberto Gorrieri,et al.  On the Computational Power of Brane Calculi , 2006, Trans. Comp. Sys. Biology.

[2]  Marta Z. Kwiatkowska,et al.  Using probabilistic model checking in systems biology , 2008, PERV.

[3]  J. Hillston.  The nature of synchronisation , 1994 .

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

[5]  François Fages,et al.  BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge , 2006, Bioinform..

[6]  R. Fleischmann,et al.  The Minimal Gene Complement of Mycoplasma genitalium , 1995, Science.

[7]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

[8]  M. Magnasco.  CHEMICAL KINETICS IS TURING UNIVERSAL , 1997 .

[9]  Corrado Priami,et al.  Transactions on Computational Systems Biology VI , 2006, Trans. Computational Systems Biology.

[10]  Matthew Cook,et al.  Computation with finite stochastic chemical reaction networks , 2008, Natural Computing.

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

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

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

[14]  Andrea Bracciali,et al.  Synapses as stochastic concurrent systems , 2008, Theor. Comput. Sci..

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

[16]  Gheorghe Paun,et al.  Spiking Neural P Systems: an Early Survey , 2007, Int. J. Found. Comput. Sci..

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

[18]  Robert K. Brayton,et al.  Model-checking continuous-time Markov chains , 2000, TOCL.

[19]  Gordon Broderick,et al.  Extraction of elementary rate constants from global network analysis of E. coli central metabolism , 2008, BMC Systems Biology.

[20]  Gregory D. Smith.  Modeling the Stochastic Gating of Ion Channels , 2002 .

[21]  Marco Bernardo,et al.  Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures , 2008, SFM.

[22]  Luca Cardelli,et al.  On process rate semantics , 2008, Theor. Comput. Sci..

[23]  Luca Cardelli,et al.  On the Computational Power of Biochemistry , 2008, AB.

[24]  Roger Brent,et al.  Automatic generation of cellular reaction networks with Moleculizer 1.0 , 2005, Nature Biotechnology.

[25]  François Fages,et al.  Formal Cell Biology in Biocham , 2008, SFM.

[26]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[27]  Lawrence C. Paulson,et al.  The foundation of a generic theorem prover , 1989, Journal of Automated Reasoning.

[28]  Corrado Priami,et al.  BetaWB - A language for modular representation of biological systems , 2007 .

[29]  Corrado Priami,et al.  A Stochastic Semantics for BioAmbients , 2007, PaCT.

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

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

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

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

[34]  José Meseguer,et al.  Pathway Logic: Symbolic Analysis of Biological Signaling , 2001, Pacific Symposium on Biocomputing.

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

[36]  H. Kitano.  Systems Biology: A Brief Overview , 2002, Science.

[37]  Jane Hillston,et al.  Process Algebras in Systems Biology , 2008, SFM.

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

[39]  C. Hutchison,et al.  Essential genes of a minimal bacterium. , 2006, Proceedings of the National Academy of Sciences of the United States of America.

[40]  Corrado Priami,et al.  The BlenX Language: A Tutorial , 2008, SFM.

[41]  Leo W. Buss,et al.  “The arrival of the fittest”: Toward a theory of biological organization , 1994 .

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

[43]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[44]  C. W. Gardiner,et al.  Handbook of stochastic methods - for physics, chemistry and the natural sciences, Second Edition , 1986, Springer series in synergetics.

[45]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[46]  A. Prasad Sistla,et al.  Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL* , 1983, Logic of Programs.

[47]  Chiara Bodei,et al.  A Control Flow Analysis for Beta-binders with and without static compartments , 2009, Theor. Comput. Sci..

[48]  Eberhard O. Voit,et al.  Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists , 2000 .

[49]  Paolo Milazzo,et al.  The Calculus of Looping Sequences , 2008, SFM.

[50]  J. Tyson,et al.  Computational Cell Biology , 2010 .

[51]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

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

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

[54]  C. Priami.  "Computational Methods in Systems Biology" for Theoretical Computer Science , 2004 .

[55]  Luca Cardelli,et al.  Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus , 2007, CMSB.

[56]  Davide Sangiorgi.  Bisimulation: from the origins to today , 2004, LICS 2004.

[57]  Stephen Gilmore,et al.  Towards Reliable Modelling with Stochastic Process Algebras , 2009 .

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

[59]  Joseph Sifakis,et al.  A Unified Approach for Studying the Properties of Transition Systems , 1982, Theor. Comput. Sci..

[60]  E. Doberkat.  Stochastic Relations : Foundations for Markov Transition Systems , 2007 .

[61]  Jane Hillston,et al.  Process algebras for quantitative analysis , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[62]  Christel Baier,et al.  Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..

[63]  A. Fersht.  Structure and mechanism in protein science , 1998 .

[64]  E. Doberkat.  Stochastic Relations , 2007 .

[65]  E. Schrödinger,et al.  What is life? : the physical aspect of the living cell , 1946 .

[66]  Pierpaolo Degano,et al.  Cells in Silico: A Holistic Approach , 2008, SFM.

[67]  Darren J. Wilkinson.  Stochastic Modelling for Systems Biology , 2006 .

[68]  Flemming Nielson,et al.  Static analysis for systems biology , 2004 .

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

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

[71]  Lee A. Segel,et al.  Modeling Dynamic Phenomena in Molecular and Cellular Biology , 1984 .

[72]  Andrea Bracciali,et al.  Stochastic models for the in silico simulation of synaptic processes , 2008, BMC Bioinformatics.

[73]  Arto Salomaa,et al.  Algorithmic Bioprocesses , 2009, Natural Computing Series.

[74]  E. Koonin,et al.  A minimal gene set for cellular life derived by comparison of complete bacterial genomes. , 1996, Proceedings of the National Academy of Sciences of the United States of America.

[75]  D. Fell.  Understanding the Control of Metabolism , 1996 .

[76]  Daniel T. Gillespie,et al.  Numerical Simulation for Biochemical Kinetics , 2008 .

[77]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[78]  D. Harel,et al.  Ieee/acm Transactions on Computational Biology and Bioinformatics 1 towards Verified Biological Models , 2022 .

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

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