Pages that link to "Item:Q1884869"
From MaRDI portal
The following pages link to BioAmbients: an abstraction for biological compartments (Q1884869):
Displayed 24 items.
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- Deciding reachability problems in Turing-complete fragments of Mobile Ambients (Q3655763) (← links)
- Multi-level modelling via stochastic multi-level multiset rewriting (Q4917198) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (Q5179127) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
- Type Disciplines for Analysing Biologically Relevant Properties (Q5179427) (← links)
- An Abstract Machine for the Stochastic Bioambient calculus (Q5179430) (← links)
- Reachability Analysis in BioAmbients (Q5179433) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- Improved Continuous Approximation of PEPA Models through Epidemiological Examples (Q5404074) (← links)
- A Translation of Beta-binders in a Prioritized Pi-calculus (Q5404078) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
- Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
- Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)
- Control Flow Analysis of Generalised Boolean Networks (Q5404092) (← links)
- Formal Cellular Machinery (Q5404096) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- Stochastic Bigraphs (Q5415632) (← links)
- Modelling Intracellular Fate of FGF Receptors With BioAmbients (Q5415670) (← links)
- Model Revision from Temporal Logic Properties in Computational Systems Biology (Q5452030) (← links)
- The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)
- Brane Calculi (Q5712404) (← links)