Pages that link to "Item:Q1884869"
From MaRDI portal
The following pages link to BioAmbients: an abstraction for biological compartments (Q1884869):
Displaying 19 items.
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- An analysis for causal properties of membrane interactions (Q275996) (← links)
- Reachability problems in BioAmbients (Q418830) (← links)
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Static analysis of IMC (Q444504) (← 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)
- Strand algebras for DNA computing (Q537852) (← links)
- On the verification of membrane systems with dynamic structure (Q609035) (← links)
- A decentralised graphical implementation of mobile ambients (Q624388) (← 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)
- Quorum sensing P systems (Q870251) (← links)
- Fair ambients (Q877172) (← links)