Synapses as stochastic concurrent systems

We present a stochastic model of the presynaptic terminal in the calyx of Held synapse. This model exploits process calculi as a representation language and has a direct computational implementation that supports quantitative simulation trials of the behaviour of the synapse. To our knowledge, it represents the first model of synaptic activity based on process calculi. The model builds upon available data, the fitting of some parameters and developed working hypotheses. Experiments about plasticity have been carried out regarding synaptic facilitation and potentiation. Also, synaptic depression has been considered in a model exhibiting dynamical equilibrium. Overall, the simulation results are coherent with the experimental findings appearing in the literature about the modeled reality. These results represent a quite detailed description of the presynaptic activity. This multidisciplinary work validates some aspects of the approach based on process calculi with respect to the new application domain, such as abstraction, expressiveness and compositionality.

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

[2]  Andrzej M. Kierzek,et al.  STOCKS: STOChastic Kinetic Simulations of biochemical systems with Gillespie algorithm , 2002, Bioinform..

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

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

[5]  Takeshi Sakaba,et al.  Distinct Kinetic Changes in Neurotransmitter Release After SNARE Protein Cleavage , 2005, Science.

[6]  Terrence J. Sejnowski,et al.  Synthesis of models for excitable membranes, synaptic transmission and neuromodulation using a common kinetic formalism , 1994, Journal of Computational Neuroscience.

[7]  W. Regehr,et al.  Short-term synaptic plasticity. , 2002, Annual review of physiology.

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

[9]  Peter Dayan,et al.  Theoretical Neuroscience: Computational and Mathematical Modeling of Neural Systems , 2001 .

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

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

[12]  Felix Felmy,et al.  Probing the Intracellular Calcium Sensitivity of Transmitter Release during Synaptic Facilitation , 2003, Neuron.

[13]  Bruce P. Graham,et al.  A computational model of synaptic transmission at the calyx of Held , 2001, Neurocomputing.

[14]  Michael Frotscher,et al.  The most important recent advances in synapse research from my point of view - and what remains to be done , 2006, Cell and Tissue Research.

[15]  Adrian Y. C. Wong,et al.  Distinguishing between Presynaptic and Postsynaptic Mechanisms of Short-Term Depression during Action Potential Trains , 2003, The Journal of Neuroscience.

[16]  E. Neher,et al.  Vesicle pools and short-term synaptic depression: lessons from a large synapse , 2002, Trends in Neurosciences.

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

[18]  T. Südhof.  The synaptic vesicle cycle , 2004 .

[19]  Christoph J. Meinrenken,et al.  The Hodgkin–Huxley–Katz Prize Lecture , 2003 .

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

[21]  Partha P. Mitra,et al.  Observed Brain Dynamics , 2007 .

[22]  U. Becherer,et al.  Vesicle pools, docking, priming, and release , 2006, Cell and Tissue Research.

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

[24]  R. Schneggenburger,et al.  A Mechanism Intrinsic to the Vesicle Fusion Machinery Determines Fast and Slow Transmitter Release at a Large CNS Synapse , 2007, The Journal of Neuroscience.

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

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

[27]  J. Borst,et al.  Two Modes of Vesicle Recycling in the Rat Calyx of Held , 2003, The Journal of Neuroscience.

[28]  I. Forsythe,et al.  The calyx of Held , 2006, Cell and Tissue Research.

[29]  J. Borst,et al.  Dynamics of the readily releasable pool during post‐tetanic potentiation in the rat calyx of Held synapse , 2007, The Journal of physiology.

[30]  R. Schneggenburger,et al.  Allosteric modulation of the presynaptic Ca2+ sensor for vesicle fusion , 2005, Nature.

[31]  Bert Sakmann,et al.  Control of synaptic strength and timing by the release-site Ca2+ signal , 2005, Nature Neuroscience.

[32]  Short-term plasticity turns plastic , 2007 .

[33]  Hamid Bolouri,et al.  Dizzy: Stochastic Simulation of Large-scale Genetic Regulatory Networks , 2005, J. Bioinform. Comput. Biol..

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

[35]  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.

[36]  Onami,et al.  Bio-calculus: Its Concept and Molecular Interaction. , 1999, Genome informatics. Workshop on Genome Informatics.

[37]  Takeshi Sakaba,et al.  Roles of the Fast-Releasing and the Slowly Releasing Vesicles in Synaptic Transmission at the Calyx of Held , 2006, The Journal of Neuroscience.

[38]  B. Sakmann,et al.  Local routes revisited: the space and time dependence of the Ca2+ signal for phasic transmitter release at the rat calyx of Held. , 2003, The Journal of physiology.

[39]  J. B. Sørensen.  Formation, stabilisation and fusion of the readily releasable pool of secretory vesicles , 2004, Pflügers Archiv.

[40]  D. A. Baxter,et al.  CHAPTER 14 – Mathematical Modeling and Analysis of Intracellular Signaling Pathways , 2004 .

[41]  O Wolkenhauer,et al.  Family tree of Markov models in systems biology. , 2006, IET systems biology.

[42]  Bruce P. Graham,et al.  A multi-component model of depression at the calyx of Held , 2004, Neurocomputing.

[43]  R. Zucker,et al.  Release of Neurotransmitters , 2004 .

[44]  E. Neher,et al.  Presynaptic calcium and control of vesicle fusion , 2005, Current Opinion in Neurobiology.

[45]  Erwin Neher.  Short-term plasticity turns plastic. Focus on "synaptic transmission at the calyx of Held under in vivo-like activity levels". , 2007, Journal of neurophysiology.

[46]  E Neher,et al.  Properties of a model of Ca++-dependent vesicle pool dynamics and short term synaptic depression. , 1999, Biophysical journal.

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

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

[49]  Douglas A. Lauffenburger,et al.  Systems Biology: International Research and Development , 2007 .

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

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

[52]  E. Neher,et al.  Quantitative Analysis of Calcium-Dependent Vesicle Recruitment and Its Functional Role at the Calyx of Held Synapse , 2007, The Journal of Neuroscience.

[53]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[54]  E. Neher,et al.  Estimation of quantal parameters at the calyx of Held synapse , 2002, Neuroscience Research.

[55]  Nathan Intrator,et al.  Theory of Cortical Plasticity , 2004 .

[56]  Idan Segev,et al.  Methods in neuronal modeling: From synapses to networks , 1989 .

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

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

[59]  E. Neher,et al.  A comparison between exocytic control mechanisms in adrenal chromaffin cells and a glutamatergic synapse , 2006, Pflügers Archiv.

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

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

[62]  Idan Segev,et al.  Methods in Neuronal Modeling , 1988 .

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

[64]  Ralf Schneggenburger,et al.  Intracellular calcium dependence of transmitter release rates at a fast central synapse , 2000, Nature.

[65]  D. Sherrington.  Stochastic Processes in Physics and Chemistry , 1983 .

[66]  Andrea Bracciali,et al.  Expressive Models for Synaptic Plasticity , 2007, CMSB.

[67]  S. Swain.  Handbook of Stochastic Methods for Physics, Chemistry and the Natural Sciences , 1984 .

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

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

[70]  D. Bidwell,et al.  Formation , 2006, Revue Francophone d'Orthoptie.