The following pages link to On process rate semantics (Q2474433):
Displaying 39 items.
- Identification of components in biochemical pathways: extensive aqpplication to SBML models (Q256973) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Constructing and visualizing chemical reaction networks from pi-calculus models (Q470031) (← links)
- Design of a biomolecular device that executes process algebra (Q537851) (← links)
- Strand algebras for DNA computing (Q537852) (← links)
- From individuals to populations: a mean field semantics for process algebra (Q633693) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- Synapses as stochastic concurrent systems (Q959792) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- A process model of Rho GTP-binding proteins (Q2271454) (← links)
- Prospects for declarative mathematical modeling of complex biological systems (Q2325599) (← links)
- Component identification in biochemical pathways (Q2348029) (← links)
- Exact fluid lumpability in Markovian process algebra (Q2453115) (← links)
- Sustainability of RNA-interference in rule based modelling (Q2520631) (← links)
- Using process algebra to develop predator-prey models of within-host parasite dynamics (Q2635001) (← links)
- Stochastic Concurrent Constraint Programming and Differential Equations (Q2870282) (← links)
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (Q2870299) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- Termination Problems in Chemical Kinetics (Q3541039) (← links)
- A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra (Q3543308) (← links)
- Turing universality of the Biochemical Ground Form (Q3550701) (← links)
- Hybrid Semantics for Stochastic π-Calculus (Q3599192) (← links)
- On the Computational Power of Biochemistry (Q3599194) (← links)
- Process Algebra Models of Population Dynamics (Q3599199) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- External Control in Process Algebra for Systems Biology (Q5179432) (← links)
- Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems (Q5270685) (← links)
- Improved Continuous Approximation of PEPA Models through Epidemiological Examples (Q5404074) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Process calculi for biological processes (Q6062000) (← links)
