Pages that link to "Item:Q1884869"
From MaRDI portal
The following pages link to BioAmbients: an abstraction for biological compartments (Q1884869):
Displayed 50 items.
- On the computational power of BlenX (Q1044845) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- A monotone framework for CCS (Q1749243) (← links)
- Biocomputing: an insight from linguistics (Q1761720) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- Formal molecular biology (Q1884864) (← links)
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models (Q1982975) (← links)
- Reversible computation in nature inspired rule-based systems (Q1982978) (← 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)
- Membrane automata for modeling biomolecular processes (Q2311302) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- What is a free name in a process algebra? (Q2379969) (← links)
- A static analysis for brane calculi providing global occurrence counting information (Q2405890) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Simulation of spatial P system models (Q2440829) (← links)
- Hybrid semantics for Bio-PEPA (Q2453221) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Using process algebra to develop predator-prey models of within-host parasite dynamics (Q2635001) (← links)
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch (Q2655500) (← links)
- Membrane Computing and Brane Calculi (Some Personal Notes) (Q2864191) (← links)
- Biological Transactions for Quantitative Models (Q2864196) (← links)
- On Reachability and Spatial Reachability in Fragments of BioAmbients (Q2864197) (← links)
- Computing by Floating Strings (Q2864199) (← links)
- Timed Concurrent Constraint Programming for Analysing Biological Systems (Q2864201) (← links)
- The Decidability of the Structural Congruence for Beta-binders (Q2864203) (← links)
- Encoding Catalytic P Systems in π@ (Q2864204) (← links)
- A Model in κ for DNA Addition (Q2864208) (← links)
- Active Evaluation Contexts for Reaction Semantics (Q2866316) (← links)
- Expressiveness Issues in Brane Calculi: A Survey (Q2870193) (← links)
- A Static Analysis for Beta-Binders (Q2870298) (← links)
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks (Q2870300) (← links)
- A Spatial Extension to the π Calculus (Q2870304) (← links)
- Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes (Q2870307) (← links)
- Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions (Q2955779) (← links)
- Biochemical Reaction Rules with Constraints (Q3000587) (← links)
- Enumerated type semantics for the calculus of looping sequences (Q3006158) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis (Q3506868) (← links)
- On Beta-Binders Communications (Q3507381) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- A Biologically Inspired Model with Fusion and Clonation of Membranes (Q3543334) (← links)
- Process Algebra Models of Population Dynamics (Q3599199) (← links)