Simulation techniques for the calculus of wrapped compartments
DOI10.1016/j.tcs.2011.12.063zbMath1238.68096arXiv1011.0494OpenAlexW2099575742MaRDI QIDQ418836
Maurizio Drocco, Ferruccio Damiani, Mario Coppo, Angelo Troina, Salvatore Spinella, Eva Sciacca, Elena Grassi
Publication date: 30 May 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1011.0494
term rewriting systemshybrid simulationbiochemical systemsstochastic/deterministic simulation methods
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) General biology and biomathematics (92B05)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algorithm AS 136: A K-Means Clustering Algorithm
- Hybrid dynamics of stochastic \(\pi \)-calculus
- Convergence of stochastic gene networks to hybrid piecewise deterministic processes
- Membrane systems with proteins embedded in membranes
- Decision problems in membrane systems with peripheral proteins, transport and evolution
- Hybrid dynamics of stochastic programs
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Membrane computing. An introduction.
- Modeling and querying biomolecular interaction networks
- Formal molecular biology
- Modelling biochemical pathways through enhanced \(\pi\)-calculus
- BioAmbients: an abstraction for biological compartments
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
- DYNAMICAL PROBABILISTIC P SYSTEMS
- Multi-level modelling via stochastic multi-level multiset rewriting
- Type Disciplines for Analysing Biologically Relevant Properties
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
- HYPE Applied to the Modelling of Hybrid Biological Systems
- Stochastic Bigraphs
- Brane Calculi
This page was built for publication: Simulation techniques for the calculus of wrapped compartments
