Volume 9 Supplement 4
Stochastic models for the in silico simulation of synaptic processes
© Bracciali et al.; licensee BioMed Central Ltd. 2008
Published: 25 April 2008
Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investigated to be precisely modeled and virtual experiments to be performed in silico. Such experiments may result in easier, faster, and satisfying approximations of their in vitro/vivo counterparts. A promising approach is represented by the study of biological phenomena as a collection of interactive entities through process calculi equipped with stochastic semantics. These exploit formal grounds developed in the theory of concurrency in computer science, account for the not continuous, nor discrete, nature of many phenomena, enjoy nice compositional properties and allow for simulations that have been demonstrated to be coherent with data in literature.
Motivated by the need to address some aspects of the functioning of neural synapses, we have developed one such model for synaptic processes in the calyx of Held, which is a glutamatergic synapse in the auditory pathway of the mammalia. We have developed such a stochastic model starting from existing kinetic models based on ODEs of some sub-components of the synapse, integrating other data from literature and making some assumptions about non-fully understood processes. Experiments have confirmed the coherence of our model with known biological data, also validating the assumptions made. Our model overcomes some limitations of the kinetic ones and, to our knowledge, represents the first model of synaptic processes based on process calculi. The compositionality of the approach has permitted us to independently focus on tuning the models of the pre- and post- synaptic traits, and then to naturally connect them, by dealing with “interface” issues. Furthermore, we have improved the expressiveness of the model, e.g. by embedding easy control of element concentration time courses. Sensitivity analysis over several parameters of the model has provided results that may help clarify the dynamics of synaptic transmission, while experiments with the model of the complete synapse seem worth explaining short-term plasticity mechanisms.
Specific presynaptic and postsynaptic mechanisms can be further analysed under various conditions, for instance by studying the presynaptic behaviour under repeated activations. The level of details of the description can be refined, for instance by further specifying the neurotransmitter generation and release steps. Taking advantage of the compositionality of the approach, an enhanced model could then be composed with other neural models, designed within the same framework, in order to obtain a more detailed and comprehensive model. In the long term, we are interested, in particular, in addressing models of synaptic plasticity, i.e. activity dependent mechanisms, which are the bases of memory and learning processes.
More on the computer science side, we plan to follow some directions to improve the underlying computational model and the linguistic primitives it provides as suggested by the experiments carried out, e.g. by introducing a suitable notion of (spatial) locality.
During the last decades, the development of high-throughput technologies has produced a huge amount of information in the field of neurobiology, requiring the utilization of mathematical modeling to describe the complex dynamics of biological processes and stimulating new collaborations among biologists, physicists and computer scientists [1, 2]. The building blocks of neural systems are the neurons, which are specialized eukaryotic biological cells able to communicate with each other at highly specialized contact sites, called synapses. In general, each neuron consists of a somatic cellular body, on which a variable number of thin elongated structures, called dendrites, converge and from which a long single structure, called axon, emerges, branching in several synaptic terminals. The synaptic terminals of the transmitting neuron (the presynaptic element) send signals by releasing chemical molecules (neurotransmitters) to the dendritic, somatic or axonic, part of the receiving neuron (postsynaptic term) .
The synapses are the places of functional contacts between neurons, where the information is stored and transmitted from one to another neuron. Synaptic transmission is a complex process not completely understood: “Our current knowledge concerning synaptic transmission in neuronal networks of the brain is comparable to a puzzle in which most of the pieces are still missing” . Current knowledge on synapses is based on the analysis of a limited number of experimental synaptic models, which were chosen for their experimental accessibility.
It must be noted that the Ca2+ signals were unaccessible to direct measurements up to few years ago. Theoretical and functional studies have suggested that calcium acts on presynaptic vesicles by a local, huge and short-lived elevation of its concentration. The locality and rapidity of the concentration variation render the study of this phenomenon not approachable with the conventional microscopic imaging techniques. Among the methods envisaged to overcome these limitations, one very fruitful approach is the so-called reverse approach, in which Ca2+ uncaging is induced in the presynaptic element. The uncaging method induces spatially homogeneous Ca2+ elevation, implying that measuring the Ca2+ fluorescent indicator gives an indication of the real Ca2+ sensed by the vesicles. This experimental method has been applied to the study of the large synapse of the auditory tract of the central nervous system, called calyx of Held. Moreover, it has been possible to build a minimal kinetic model for the process of the Ca2+ triggered vesicle release. Also, one can infer local Ca2+ signal waveform which is compatible with the experimental data on the time course and amplitude of release [7, 8].
Most of the models treating the issues of the calcium triggered release present some methodological limitations. These models, and among them the calyx of Held model, use differential equations to describe the time course of [Ca2+], the Ca2+ concentration (mole × liter−1) interacting with the synaptic vesicles. This approach implies that [Ca2+] is continuous, while it is clearly not . For example, a cubic volume with edge length 60 nm and a Ca2+ concentration of 10 μ M contains about a single free ion. Another common assumption is that the binding of the Ca2+ to the release sensors of the vesicle does not affect the [Ca2+] concentration . Also this assumption is not exactly adequate: considering that the dimensions of the vesicle diameters range in the interval 17-45 nm, an average interaction volume, a cube with edge length 60 nm say, would contain few Ca2+ ions, and when some of them bind to the vesicle sensors, the number of calcium ions could change substantially.
In general, when the fluctuations in the molecular population levels are relevant, e.g. when the numbers per unit volume of the molecular species involved are small, the stochastic approach has to be preferred. The fluctuations, that can be seen as random variations about a mean number of molecules, can significantly alter the dynamics of biochemical pathways. Just to cite few examples, fluctuations might decrease or increase the steepness of a nonlinear stimulus-response relationship. In other cases, via the so-called stochastic resonance, they can increase the reliability of response to small signals .
Hence, in these cases, the use of a stochastic approach appears to be much more appropriate, since the deterministic approach fails to capture the nature of chemical kinetics, which at low concentrations is discrete and stochastic . In the stochastic approach, the system is described by the so-called “master equation”, which is usually intractable. A stochastic simulation algorithm has originally been proposed in  to overcome this difficulty.
On the postsynaptic side (sketched in Figure 1), the signal is transmitted when the neurotransmitters and the membrane receptors interact. The synaptic function is determined by many factors, such as the the speed of clearance of the neurotransmitters from the cleft, which determines the amount of postsynaptic receptors that bind the transmitters. This mechanism is also still poorly understood, because these events are beyond the power of experimental observations . Due to its considerable size, the calyx of Held synapse represents a useful model system for studying the postsynaptic element, too. For this reason it has been the object of several experimental and theoretical works, e.g. [14, 15]. In general, the description of the postsynaptic interaction is made through deterministic approaches, which mainly rely on the use of molar concentration for the quantitative measure of the neurotransmitters [14, 16]. However, these suffer from the same limitations discussed for the case of the presynaptic vesicle release, and make the use of stochastic models preferable.
It is worth noting that the approach to devise models of the whole synaptic function has been mainly based so far on deterministic ODE descriptions  and the utilization of a stochastic approach, typically based on , is just at the beginning .
Recently, stochastic techniques have also been adopted in computer science to model quantitative aspects of interactive systems within concurrency theory. The aim of concurrency theory is to model the behaviour and the structure of systems composed of autonomous computational entities, which dynamically interact with one another, possibly reconfiguring the system itself. At the beginning, stochastic models have been used to study performance/time related properties, e.g. . The strong analogies between concurrent and living systems, summarised in “cells as computation” , are contributing to the development of Systems Biology [20, 21], a systemic approach to living system modeling. According to this metaphor, cells, molecules and biological “active” components, i.e. those capable of exhibiting a behaviour, are assimilated to computer processes, the computational units of a concurrent software system. By communicating, processes may exchange information or synchronise themselves. Then, biological interaction corresponds to process communication. A biological experiment, or biological activity in general, has then a direct correspondence into a computation. That is, biological processes can not only be simulated by in silico experiments, but also it is possible to formally reason about their computational models and infer properties of interest. Process calculi are a formalism to describe such models: systems are compositionally described in terms of suitable abstractions of their component behaviour. Several process calculi whose “operators” are oriented to describing different aspects of biological interaction have been proposed, e.g. [22–25]. Some of these calculi have been equipped with a stochastic semantics in order to study the quantitative dynamics of systems, e.g. [23, 26–28]. This approach benefits from conjugating the abstract and compositional algebraic models, the possibility of precisely describing their semantics and formally reasoning about them, and the quantitative analysis provided by stochastic semantics. Executable implementations of the calculi and analysis tools are provided.
In this context, motivated by addressing some aspects of the functioning of neural synapses, we have first developed a stochastic model of the calcium triggered release in the calyx of Held synapse. Our work starts from a deterministic model presented in , from which we have derived a suitable stochastic model. This has subsequently been formalised in terms of Pi-calculus , a process calculus designed for concurrency and mobility. The behaviour of Ca2+ and vesicles has been described and composed to form the presynaptic terminal. Then, by the same approach, we have developed a stochastic model of the postsynaptic receptor kinetics, starting from the semi-deterministic model presented in [14, 16].
Finally, we have obtained a whole model of signal transmission throughout the synapse by suitably composing the two models of the pre- and post- synaptic sides developed individually. It must be noted that our model represents a fragment of the whole synapse focusing on a cluster of functionally related active zones. However, due to the morpho-functional organization of this synapse consisting of similar, independent active zones functioning in parallel, the behavior of the whole synapse can be easily obtained by scaling operation.
Model development has benefited from the above mentioned features, like modular design, abstract representation of the component functioning and stochastic interpretation of the system dynamics. Modular and abstract design, in particular, has been revealed to be suitable to facilitate the incremental development of a more complete and detailed model.
In silico experiments have been carried out by means of the stochastic Pi-calculus simulator SPiM , which represents one of the most complete and expressive simulation environments for stochastic calculi currently available. Obtained results are coherent with those from the deterministic models and with others in literature. The expressiveness of the model has allowed us to easily describe environmental conditions of the experiments, such as modulating presynaptic calcium waves. This has helped us to identify some critical points of the model and the parts of the overall process that seem to play a more relevant role. Beyond the experiments here reported, our approach appears to be interesting in the long term for the development of more comprehensive stochastic models of synaptic functioning. Moreover, the experiments carried out so far have been given interesting insights about the linguistic mechanisms that could usefully extend the expressiveness of the calculus.
The model is described in the next section, where we also report on some of the experiments done. The computational implementation of the model is reported in the last section Methods. Perspectives of the approach are discussed in Conclusions.
Results and Discussion
We have applied a stochastic approach, based on the algorithm introduced in , to describe the presynaptic calcium triggered release mechanisms and the postsynaptic channel opening, studied in the model system of the synapse calyx of Held. For the presynaptic terminal we have modeled both the cases of step-like and wave-like calcium uncaging, while we have considered membrane receptor activity for the postsynaptic side.
Step-like calcium uncaging
The parameters of the kinetic model were computed by a fitting of the experimental data. These had been obtained by elevating the intracellular presynaptic [Ca2+] in a controlled, homegeneous and step-like manner .
Note that, according to , we represent the fusion of each vesicle as the production of one released vesicle T, abstracting, for simplicity, from the actual quantities of neurotransmitters involved in the final step of the release process.
Wave-like calcium uncaging
The technique of step-like calcium uncaging overcomes the limitations of traditional imaging methods  in resolving the local (and rapidly decaying) Ca2+ signal triggering the vesicles release. The step-like Ca2+ uncaging has shown a high sensitivity of the synapse under consideration to a uniform and sustained Ca2+ elevation in the range of 10 μ M (while, otherwise, Ca2+ concentration must be in the range of 100-300 μ M to have an effect). Yet, we needed to produce a spatially uniform rapidly decaying Ca2+ transient (wave-like calcium uncaging) in order to ascertaining whether very short Ca2+ elevations, as those following the action potential invasion of the synaptic terminal, suffice to induce vesicle release. Hence, the step-like uncaging has been modeled in order to measure the sensitivity of vesicles to uniform and sustained calcium concentration, whereas the wave-like uncaging has been modeled in order to ascertain the sensitivity of vesicles to short-lived variations of calcium concentration.
Membrane receptor activity
We have then focused on the postsynaptic side of calyx of Held synapse and we have modeled the part of the postsynaptic membrane functionally related to the presynaptic mechanisms previously described. Our model considers postsynaptic membranes consisting of AMPA receptors and has been derived from a previously developed deterministic model, see [14, 34] for details.
Slightly abusing the notation, the symbol T represents here the neurotransmitter molecules that bind to the receptor-gated channels, while in the presynaptic model it has been used to represent the whole content released by a single vesicle. Receptor-gated channels C0 are activated through a process of two reversible T binding steps: from C0 to C1, intermediate channel states, and then to C2, the activated channels. Either the activated channels evolve to the states O1 and O2, open to the ion flux transmitting the signal (with different kinetics); or the activated channels evolve to the desensitized states D, which are not permeable to the ion flux. In the second case, the fraction of channels that open during a synaptic response decreases. All transitions are reversible.
The synaptic response, on the postsynaptic side, is determined by the time course of the rising phase of the synaptic ion current. This is a function of the opening rate of the receptor-gated channels and of the neurotransmitter concentration. We monitor the numbers of open O1, O2 and densensitized D channels.
It is worth noting that the number of the T stochastically assumed to be released in the synaptic cleft has been determined coherently with the amount stochastically produced by a single calcium wave in the presynaptic terminal in our experiments (about 3 to 6 vesicles). Each “presynaptic” T corresponds to a wave of neurotransmitter whose duration and amplitude has been calculated on the basis of several hypotheses, below discussed.
The values of the kinetic rates are: r b = 400 s−1, = 6 s−1, = 86000 s−1, r d = 900 s−1, r r = 64 s−1, = 100000 s−1, = 2000 s−1, = 2000 s−1, = 250 s−1. These figures have been determined from the deterministic models in [5, 14], accordingly to the transformation already described in the section Step-like calcium uncaging.
In the definition of r b , the “activation” rate of the receptor, a further difficulty arose: in order to determine the values of the stochastic rate constant, we not only need to estimate the volume occupied by the neurotransmitter in the cleft, but also the effective interaction volume where the interactions happen against the postsynaptic surface. We have computed the volume occupied by the neurotransmitters by knowing the number of them contained into a single vesicle (6000-8000) and the value of their concentration when they have spread into the synaptic cleft: 10−3M. We obtained volume = 10−17liter. Following , we estimated the effective interaction volume by dividing volume by 1/160, obtaining the result of 6 10−20liter. We adopted this value for the conversion of the deterministic rate constant into the stochastic one, obtaining r b = 400. Finally, the interaction volume determined permits us to estimate the number of neurotransmitters involved: about 50 T, as peak value. The value of C0, which represents the number of membrane channels, has been assumed to be 100 according to known data, see e.g. .
Complete synapse signal traversal
A comprehensive model of the whole synapse has been devised by building upon the independently developed models of the pre- and post- synaptic processes, which have been considered in isolation in the previous sections. The calcium pulse induces the release of vesicles, represented abstractly in the presynaptic model as the release of a single neurotransmitter T by each vesicle. In the postsynaptic model, each T has been interpreted as a wave of neurotransmitters, with amplitude and duration determined as above. It must be underlined that in the study of synaptic transmission many of the elements we considered are generally neglected, such as the stochasticity of the vesicle release and the calculation of the real amount of neurotransmitter sensed by the postsynaptic receptors.
Beyond validating the consistency of the model, some preliminary experiments have also been run about open issues in short-term plasticity (reported in the subsequent section about plasticity). Indeed, the interaction between presynaptic and postsynaptic mechanisms generates short-term plasticity events in a way not yet fully understood .
Parameter sensitivity analysis
We performed a parameter variation study (sensitivity analysis) in the case of step-like and wave-like calcium uncaging and for the postsynaptic terminal. The sensitivity analysis is a standard procedure in modeling and is performed with the aim of evaluating the robustness of the model, i.e. the tolerance of the release process to parameter variation, and to identify, if any, critical parameters.
For the presynaptic terminal, we have run simulations for different values of the number of vesicles (reference value 100, other values: 10, 50, 200 and 500), the number of calcium ions Ca2+ (reference values 300, 3000 and 6000, other values: 12000, 18000, 24000), the stochastic coefficients c on (reference value 0.3, other values: 0.1, 0.2, 0.4 and 0.5), c coff (reference value 9500, other values: 5500, 7500, 11500 and 13500), b (reference value 0.25, other values: 0.1, 0.2, 0.3 and 0.4) and γ (reference value 6000, other values: 2000, 4000, 8000 and 10000). One of the results of this analysis is that the forward coefficient c on seems to have a critical role: higher values of this coefficient correspond to a faster release, in the step-like case, and to a switch from no-release to a consistent release, in the wave-like case. A selection of analysis results is reported below.
We have also performed sensitivity analysis of parameters for the postsynaptic model. While the simulated channel dynamics appears overall suitably coherent with the experimental findings, the understanding of the parameter variation results is still under investigation. Amongst the other performed experiments, we report on the variation of two parameters. These two experiments are sufficient in order to illustrate the great variability of the roles of the postsynaptic parameters, which, indeed, are still poorly understood.
Plastic events throughout the complete synapse
Our results are encouraging about the validity of the stochastic approach in studying the synaptic process, which consists of many discrete-like events and involves, for instance, arrays of vesicles and many different molecules. In the process of synaptic transmission, many of these molecules play roles still not fully understood . We have studied parts of the process by adapting data from a number of experimental models. In doing this, we have overcome some limitations of several of these models, e.g. the assumption that concentrations are controlled and homogeneous, so that, for instance, the issue of spatial locality can be not considered. Our discrete approach has instead allowed us to address locality-related issues, like determining the actual interaction surface in the synaptic cleft, according to the quantity of released neurotransmitters and the volume they occupy. This approach appears amenable to also describe other “spatial” aspects of interest.
We built our model in a compositional manner. We first developed a presynaptic model and a postsynaptic model. Once tuned and validated against available experimental data, these models have been integrated to describe the signal traversal throughout the whole synapse. The compositional properties of the chosen approach play a crucial role here: designing and implementing a thin interface was sufficient to obtain the executable model for the whole synapse, with no change in those for the pre- and the post-synaptic processes.
Our model can be further refined along several directions. For instance, the use of a single uniform cluster of releasable vesicles is correct when the process is studied in a short interval of time. When events take place during long-lasting neural activity, more details on vesicle trafficking and cluster compartimentalisation should be introduced. Moreover, the vesicle release is regulated by many intracellular signal pathways, which influence the number and the speed of recruitment of the release-competent vesicles .
Embedding these aspects in the model might shed further light on the ways the nervous system processes and stores information. In order to support these, and others, developments the underlying process calculus needs extensions, too. Surely, the problem of expressing locality, already tackled by several calculi, could be valuably addressed within a stochastic viewpoint, together with the mentioned issue of model interfaces.
So far, one can easily realise how the system has been described by specifying simple atomic behaviour, basically corresponding to chemical reactions, and then composing them together. The parametric process w(cnt:int) allows us to suitably modulate the calcium wave. After a stochastic delay, if its integer parameter cnt is positive then it replicates 80 copies of itself, with the parameter decreased, and 80 parallel copies of ca(), otherwise it dies. This realises an exponential growth, which can be controlled in its rapidity and quantity by the delay rate and the parameter. Finally, the initial state can be populated specifying how many molecules of each specie are present (one calcium wave, 1000 pumping molecules, 100 vesicles and the needed dummy molecules). The SPiM simulator produces the dynamics shown in the Figures 2,3,4,5,6,7,8,9,10,11,12.
It is also worth underlining the advantages provided by the compositionality of the approach, well shown by the construction of the complete synapse model. There, two models about different processes (happening in separate volumes), independently developed and tuned, have been connected by suitably mapping boundary processes, i.e. by defining a suitable interface between the models of the pre- and the post-synaptic parts. What was abstracted as the T single neurotransmitter released by a vesicle has become in the complete model a suitable wave of release. Actually, the presynaptic t() process now becomes the tt(1) process, which is the wave generator used in the postsynaptic model to spawn the expected amount of neurotransmitters.
Perhaps it could be worth studying whether the concept of interface, well defined in computer science, could be rethought in this context so as to facilitate the modular composition of stochastic models.
Each of the co-authors contributed equally to this project. More precisely, the first and the last author brought their competence in process calculi, and the second and the third their knowledge of neurophysiology, while they carried on jointly the design of the experiment, the modelization of the synapse and the analysis of the results.
This work has been partially supported by the MIUR project Bisca and by the Microsoft Research-Trento University Centre for Computational and Systems Biology.
This article has been published as part of BMC Bioinformatics Volume 9 Supplement 4, 2008: A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications. The full contents of the supplement are available online at http://www.biomedcentral.com/1471-2105/9?issue=S4.
- Methods in Neuronal Modeling. Koch C, Segev I edition. Cambridge: The MIT Press; 1998.Google Scholar
- Computational Cell Biology. Fall CP, Marland ES, Wagner JM, Tyson JJ edition. New York: Springer; 2002.Google Scholar
- Rediscovering Biology - Molecular to Global Perspectives - Neurobiology . [http://www.learner.org/channel/courses/biology/support/10_neuro.pdf]
- Frotscher M, Gundelfinger E, Jonas P, Neher E, Seeburg P: The most important recent advances in synsapse research from my point of view - and what remains to be done. Cell Tissue Res 2006, 326: 203–204.View ArticlePubMedGoogle Scholar
- Zucker RS, Kullmann DM, Schwartz TL: Release of Neurotransmitters. In From Molecules to Networks - An Introduction to Cellular and Molecular Neuroscience. Edited by: Byrne JH, Roberts JL. San Diego: Elsevier - Academic Press; 2004:197–244.View ArticleGoogle Scholar
- Sudhof TC: The synaptic vesicle cycle. Annual Review of Neuroscience 2004, 27: 509–547.View ArticlePubMedGoogle Scholar
- Schneggenburger R, Neher E: Intracellular calcium dependence of transmitter release rates at a fast central synapse. Nature 2000, 46: 889–893.View ArticleGoogle Scholar
- Schneggenburger R, Neher E: Presynaptic calcium and control of vesicle fusion. Current Opinion in Neurobiology 2005, 15: 266–274.View ArticlePubMedGoogle Scholar
- Meinrenken CJ, Borst JGG, Sakmann B: The Hodgkin-Huxley-Katz Prize Lecture. Local routes revisited the space and time dependence of the Ca signal for phasic transmitter release at the rat calyx of Held. In The Journal of Physiology. in press;
- Smolen PD, Baxter DA, Byrne JH: Mathematical Modeling and Analysis of Intracellular Signaling Pathways. In From Molecules to Networks - An Introduction to Cellular and Molecular Neuroscience. Edited by: Byrne JH, Roberts JL. Elsevier - Academic Press; 2004:391–429.View ArticleGoogle Scholar
- Wilkinson DJ: Stochastic Modelling for System Biology. London: Chapman and Hall - CRC Press; 2006.Google Scholar
- Gillespie DT: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 1977, 81: 2340–2361.View ArticleGoogle Scholar
- Savtchenko LP, Rusakov DA: The optimal height of the synaptic cleft. PNAS 2007, 104: 1823–1828.PubMed CentralView ArticlePubMedGoogle Scholar
- Graham B, Wong AYC, Forsythe ID: A computational model of synaptic transmission at the calyx of Held. Neurocomputing 2001, 38–40: 37–42.View ArticleGoogle Scholar
- Wong AY, Graham BP, Billups B, Forsythe ID: Distinguishing between presynaptic and postsynaptic mechanisms of short-term depression during action potentials trains. J Neurosci 2003, 23: 4868–4877.PubMedGoogle Scholar
- Destexhe A, Mainen ZF, Sejnowski TJ: Synthesis of models for Excitable membrane, synaptic transmission and neuromodulation using a common kinetic formulation. The Journal of Computational Neuro science 1994, 1: 195–231.View ArticleGoogle Scholar
- Holmes WR: Calcium Signaling in Dendritic Spines. In Modeling in the Neuroscience - From Biological Systems to Neuromimetic Robotics. 2nd edition edition. Edited by: Reeke GN, Poznanski RR, Lindsay KA, Rosenberg JR, Sporns O. NewYork: CRC Press; 2005:25–60.Google Scholar
- Hillston J: A Compositional Approach to Performance Modelling Cambridge:. Cambridge University Press; 1996.View ArticleGoogle Scholar
- Regev A, Shapiro E: Cellular Abstractions: Cells as Computation. Nature 2002, 419: 343.View ArticlePubMedGoogle Scholar
- Kitano H: Systems Biology: a brief overview. Science 2002, 295(5560):1662–1664.View ArticlePubMedGoogle Scholar
- Cassman M, Arkin A, Doyle F, Katagiri F, Lauffenburger D, Stokes C: System Biology - International Research and Development. The Netherlands: Springer; 2007.View ArticleGoogle Scholar
- Nagasaki M, Onami S, Miyano S, Kitano H: Bio-calculus: its concept and molecular interaction. Genome Informatics 1999, 10: 133–143.PubMedGoogle Scholar
- Priami C, Regev A, Shapiro E, Silvermann W: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Theoretical Computer Science 2004, 325: 141–167.View ArticleGoogle Scholar
- Regev A, Panina E, Silverman W, Cardelli L, Shapiro E: Bioambients: An abstraction for biological compartements. Theoretical Computer Science 2004, 325: 141–167.View ArticleGoogle Scholar
- Cardelli L: Brane calculi-interactions of biological membranes. In Proceedings of Computational Methods in Systems Biology. Edited by: Vincent V, Schachter V. Paris: Springer; 2004:257–280. LNCS 3082Google Scholar
- Priami C: Stochastic π-calculus. The Computer Journal 1995, 36(6):578–589.View ArticleGoogle Scholar
- Lecca P, Priami C, Quaglia P, Rossi B, Laudanna C, Costantin G: A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment. SIMULATION: Trans. of the society for modelling and simulation international 2004, 80(4):273–288.View ArticleGoogle Scholar
- Calder M, Gilmore S, Hillston J: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. Transactions on Computational System Biology VII 2006, 1–23. LNBI 4230View ArticleGoogle Scholar
- Milner R: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press; 1999.Google Scholar
- Phillips A, Cardelli L: Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. In Proceedings of Computational Methods in Systems Biology. Edited by: Calder M, Gilmore S. Edinburgh: Springer; 2007:184–199. LNCS 4695View ArticleGoogle Scholar
- Kierzek AM: Stocks: Stochastic kinetic simulations of biochemical system with Gillespie algorithm. Bioinformatics 2002, 18: 470–481.View ArticlePubMedGoogle Scholar
- Schneggenburger R, Forsythe ID: The calxy of Held. Cell Tissue Res 2006, 326: 311–337.View ArticlePubMedGoogle Scholar
- Bollmann JH, Sakmann B: Control of synaptic strength and timing by the release-site Ca 2+ signal. Nature Neuroscience 2005, 8: 426–434.PubMedGoogle Scholar
- Destexhe A, Mainen ZF, J ST: Kinetic Models of Synaptic Transmission. In Methods in Neuronal Modeling. Edited by: Koch C, Segev I. Cambridge: The MIT Press; 1998:1–25.Google Scholar
- Clements JD: Transmitter timecourse in the synaptic cleft: its role in central synaptic function. TINS 1996, 19: 163–171.PubMedGoogle Scholar
- Neher E: A comparison between exocytic control mechanisms in adrenal chromaffin cells and a glutamatergic synapse. Pflugers Arch - Eur J Physiol 2006, 453: 261–268.View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.