On process rate semantics
From MaRDI portal
Recommendations
Cites work
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- 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?)
- 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
(43)- Modelling patterns of gene regulation in the bond-calculus
- A unified framework for differential aggregations in Markovian process algebra
- A process model of Rho GTP-binding proteins
- Prospects for declarative mathematical modeling of complex biological systems
- Component identification in biochemical pathways
- What is a free name in a process algebra?
- Exact fluid lumpability in Markovian process algebra
- Sustainability of RNA-interference in rule based modelling
- Identification of components in biochemical pathways: extensive aqpplication to SBML models
- Using process algebra to develop predator-prey models of within-host parasite dynamics
- Active evaluation contexts for reaction semantics
- Stochastic concurrent constraint programming and differential equations
- A process model of rho GTP-binding proteins in the context of phagocytosis
- The attributed pi-calculus with priorities
- Termination Problems in Chemical Kinetics
- A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
- Turing universality of the biochemical ground form
- Hybrid Semantics for Stochastic π-Calculus
- On the Computational Power of Biochemistry
- Process Algebra Models of Population Dynamics
- Process Algebra Modelling Styles for Biomolecular Processes
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- Compositional abstraction for stochastic systems
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Stochastic simulation of multiple process calculi for biology
- Constructing and visualizing chemical reaction networks from pi-calculus models
- External control in process algebra for systems biology
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- Design of a biomolecular device that executes process algebra
- Strand algebras for DNA computing
- Improved continuous approximation of PEPA models through epidemiological examples
- Approximating probabilistic behaviors of biological systems using abstract interpretation
- Symbolic computation of differential equivalences
- Process calculi for biological processes
- From individuals to populations: a mean field semantics for process algebra
- From biochemistry to stochastic processes
- Language-based abstractions for dynamical systems
- Extended differential aggregations in process algebra for performance and biology
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- Probabilistic model checking of biological systems with uncertain kinetic rates
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Synapses as stochastic concurrent systems
- A fluid analysis framework for a Markovian process algebra
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)
