On process rate semantics
DOI10.1016/J.TCS.2007.11.012zbMATH Open1133.68054DBLPjournals/tcs/Cardelli08OpenAlexW2130429899WikidataQ56982021 ScholiaQ56982021MaRDI QIDQ2474433FDOQ2474433
Authors: Luca Cardelli 
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
Recommendations
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Classical flows, reactions, etc. in chemistry (92E20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interactive Markov chains. And the quest for quantified quality
- Transactions on Computational Systems Biology IV
- On the decidability of process equivalences for the \(\pi\)-calculus
- Title not available (Why is that?)
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Stochastic concurrent constraint programming and differential equations
- Title not available (Why is that?)
Cited In (40)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Improved continuous approximation of PEPA models through epidemiological examples
- Process calculi for biological processes
- Identification of components in biochemical pathways: extensive aqpplication to SBML models
- 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?
- External control in process algebra for systems biology
- Using process algebra to develop predator-prey models of within-host parasite dynamics
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- Sustainability of RNA-interference in rule based modelling
- The attributed pi-calculus with priorities
- A unified framework for differential aggregations in Markovian process algebra
- Component identification in biochemical pathways
- Exact fluid lumpability in Markovian process algebra
- From individuals to populations: a mean field semantics for 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
- Symbolic computation of differential equivalences
- Process Algebra Modelling Styles for Biomolecular Processes
- 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
- Approximating probabilistic behaviors of biological systems using abstract interpretation
- Probabilistic model checking of biological systems with uncertain kinetic rates
- 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
Uses Software
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)
