On process rate semantics
From MaRDI portal
Publication:2474433
Recommendations
Cites work
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 637123 (Why is no real title available?)
- scientific article; zbMATH DE number 2080040 (Why is no real title available?)
- scientific article; zbMATH DE number 836614 (Why is no real title available?)
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Interactive Markov chains. And the quest for quantified quality
- On the decidability of process equivalences for the \(\pi\)-calculus
- Stochastic concurrent constraint programming and differential equations
- Transactions on Computational Systems Biology IV
Cited in
(40)- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Identification of components in biochemical pathways: extensive aqpplication to SBML models
- Improved continuous approximation of PEPA models through epidemiological examples
- Process calculi for biological processes
- Design of a biomolecular device that executes process algebra
- Prospects for declarative mathematical modeling of complex biological systems
- Stochastic concurrent constraint programming and differential equations
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Strand algebras for DNA computing
- Synapses as stochastic concurrent systems
- A fluid analysis framework for a Markovian process algebra
- Compositional abstraction for stochastic systems
- Stochastic simulation of multiple process calculi for biology
- Turing universality of the biochemical ground form
- What is a free name in a process algebra?
- Using process algebra to develop predator-prey models of within-host parasite dynamics
- External control in process algebra for systems biology
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- Sustainability of RNA-interference in rule based modelling
- A unified framework for differential aggregations in Markovian process algebra
- The attributed pi-calculus with priorities
- Component identification in biochemical pathways
- From individuals to populations: a mean field semantics for process algebra
- Exact fluid lumpability in Markovian process algebra
- Constructing and visualizing chemical reaction networks from pi-calculus models
- A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
- Process Algebra Modelling Styles for Biomolecular Processes
- Symbolic computation of differential equivalences
- On the Computational Power of Biochemistry
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- Process Algebra Models of Population Dynamics
- A process model of rho GTP-binding proteins in the context of phagocytosis
- Termination Problems in Chemical Kinetics
- Probabilistic model checking of biological systems with uncertain kinetic rates
- Approximating probabilistic behaviors of biological systems using abstract interpretation
- Modelling patterns of gene regulation in the bond-calculus
- Active evaluation contexts for reaction semantics
- Hybrid Semantics for Stochastic π-Calculus
- A process model of Rho GTP-binding proteins
This page was built for publication: On process rate semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2474433)
