On process rate semantics
From MaRDI portal
Publication:2474433
DOI10.1016/j.tcs.2007.11.012zbMath1133.68054OpenAlexW2130429899WikidataQ56982021 ScholiaQ56982021MaRDI QIDQ2474433
Publication date: 6 March 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.11.012
Classical flows, reactions, etc. in chemistry (92E20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Using process algebra to develop predator-prey models of within-host parasite dynamics, Process calculi for biological processes, Foundational aspects of multiscale modeling of biological systems with process algebras, Stochastic simulation of multiple process calculi for biology, From individuals to populations: a mean field semantics for process algebra, Algebra, Coalgebra, and Minimization in Polynomial Differential Equations, Constructing and visualizing chemical reaction networks from pi-calculus models, Termination Problems in Chemical Kinetics, A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra, Exact fluid lumpability in Markovian process algebra, Modelling patterns of gene regulation in the bond-calculus, Turing universality of the Biochemical Ground Form, Improved Continuous Approximation of PEPA Models through Epidemiological Examples, Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation, nano\(\kappa\): A calculus for the modeling and simulation of nano devices, Synapses as stochastic concurrent systems, Design of a biomolecular device that executes process algebra, Strand algebras for DNA computing, A unified framework for differential aggregations in Markovian process algebra, A fluid analysis framework for a Markovian process algebra, External Control in Process Algebra for Systems Biology, A process model of Rho GTP-binding proteins, Hybrid Semantics for Stochastic π-Calculus, On the Computational Power of Biochemistry, Process Algebra Models of Population Dynamics, The Attributed Pi-Calculus with Priorities, Sustainability of RNA-interference in rule based modelling, Symbolic computation of differential equivalences, Process Algebra Modelling Styles for Biomolecular Processes, Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back, On fluidization of discrete event models: Observation and control of continuous Petri nets, Probabilistic model checking of biological systems with uncertain kinetic rates, Compositional Abstraction for Stochastic Systems, Prospects for declarative mathematical modeling of complex biological systems, Component identification in biochemical pathways, Stochastic Concurrent Constraint Programming and Differential Equations, A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis, Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems, Identification of components in biochemical pathways: extensive aqpplication to SBML models
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interactive Markov chains. And the quest for quantified quality
- On the decidability of process equivalences for the \(\pi\)-calculus
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Stochastic Concurrent Constraint Programming and Differential Equations
- Transactions on Computational Systems Biology IV
