Pages that link to "Item:Q1607114"
From MaRDI portal
The following pages link to Application of a stochastic name-passing calculus to representation and simulation of molecular processes (Q1607114):
Displaying 50 items.
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Constructing and visualizing chemical reaction networks from pi-calculus models (Q470031) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Equivalences for a biological process algebra (Q652149) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- Modeling individual's aging within a bacterial population using a pi-calculus paradigm (Q884872) (← links)
- Modeling biological systems in stochastic concurrent constraint programming (Q941672) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Computational self-assembly (Q953541) (← links)
- Relating continuous and discrete PEPA models of signalling pathways (Q953546) (← links)
- On the decidability and complexity of the structural congruence for beta-binders (Q953553) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- Evolving BlenX programs to simulate the evolution of biological networks (Q959795) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- Stochastic transcription elongation via rule based modelling (Q1744369) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- Formal molecular biology (Q1884864) (← links)
- Modelling biochemical pathways through enhanced \(\pi\)-calculus (Q1884867) (← links)
- BioAmbients: an abstraction for biological compartments (Q1884869) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters (Q2177765) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- An intermediate language for the stochastic simulation of biological systems (Q2271445) (← links)
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- A process model of Rho GTP-binding proteins (Q2271454) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Hybrid semantics for Bio-PEPA (Q2453221) (← links)
- On process rate semantics (Q2474433) (← links)
- Probabilistic model checking of complex biological pathways (Q2474435) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Sustainability of RNA-interference in rule based modelling (Q2520631) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- Biological Transactions for Quantitative Models (Q2864196) (← links)
- The Decidability of the Structural Congruence for Beta-binders (Q2864203) (← links)
- Modelling of Biochemical Reactions by Stochastic Automata Networks (Q2864207) (← links)
- A Model in κ for DNA Addition (Q2864208) (← links)
- An Intermediate Language for the Simulation of Biological Systems (Q2870295) (← links)
