Pages that link to "Item:Q939161"
From MaRDI portal
The following pages link to Bisimulations in calculi modelling membranes (Q939161):
Displaying 11 items.
- Identification of components in biochemical pathways: extensive aqpplication to SBML models (Q256973) (← links)
- Compositional semantics and behavioural equivalences for reaction systems with restriction (Q403001) (← links)
- Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Equivalences for a biological process algebra (Q652149) (← links)
- A logical and graphical framework for reaction systems (Q2034775) (← links)
- A process algebraic approach to reaction systems (Q2044947) (← links)
- Type Disciplines for Analysing Biologically Relevant Properties (Q5179427) (← links)