Pages that link to "Item:Q1884869"
From MaRDI portal
The following pages link to BioAmbients: an abstraction for biological compartments (Q1884869):
Displayed 50 items.
- 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)
- 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)
- The foundation of self-developing blob machines for spatial computing (Q933442) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Bitonal membrane systems: interactions of biological membranes (Q953534) (← links)
- Membrane computing and brane calculi. Old, new, and future bridges (Q953535) (← links)
- A simple calculus for proteins and cells (Q953549) (← links)
- On the decidability and complexity of the structural congruence for beta-binders (Q953553) (← links)
- On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
- Synapses as stochastic concurrent systems (Q959792) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- Biocomputing: an insight from linguistics (Q1761720) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- Formal molecular biology (Q1884864) (← 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)
- What is a free name in a process algebra? (Q2379969) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Information flow security in boundary ambients (Q2482455) (← 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)