A compositional approach to performance modelling
A compositional approach to performance modelling
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Methods in Neuronal Modeling: From Ions to Networks
Methods in Neuronal Modeling: From Ions to Networks
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Transactions on Computational Systems Biology VII
Synapses as stochastic concurrent systems
Theoretical Computer Science
Analysis of Calcium Spiking in Plant Root Epidermis through CWC Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process calculi as formal grounds, enjoys nice compositional properties, has a direct computational implementation that supports simulation trials, and, to our knowledge, represents the first process calculi based model of a presynaptic terminal. Simulation results have shown coherence with experimental data and robustness against sensitivity analysis. The core model has been extended in order to address some issues related to open problems: we discuss hypotheses on short-term synaptic enhancement (facilitation) and depression, i.e. plasticity mechanism that are related to memory and learning. The two aims of our work, i.e. addressing neural mechanisms and validating and possibly improving, process calculi based modeling techniques are discussed throughout the paper, together with the results of experiments.