BioAmbients: an abstraction for biological compartments
From MaRDI portal
Publication:1884869
DOI10.1016/j.tcs.2004.03.061zbMath1069.68569OpenAlexW2106190666WikidataQ56982088 ScholiaQ56982088MaRDI QIDQ1884869
William Silverman, Ehud Shapiro, Luca Cardelli, Aviv Regev, Ekaterina M. Panina
Publication date: 27 October 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.03.061
Classical flows, reactions, etc. in chemistry (92E20) Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (only showing first 100 items - show all)
Process calculi for biological processes ⋮ Bonding calculus ⋮ Brane Calculi ⋮ Modular Verification of Interactive Systems with an Application to Biology ⋮ Control Flow Analysis of Generalised Boolean Networks ⋮ Formal Cellular Machinery ⋮ HYPE Applied to the Modelling of Hybrid Biological Systems ⋮ Stochastic Bigraphs ⋮ Modelling Intracellular Fate of FGF Receptors With BioAmbients ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Model Revision from Temporal Logic Properties in Computational Systems Biology ⋮ The Calculus of Looping Sequences for Modeling Biological Membranes ⋮ Modelling and verification of weighted spiking neural systems ⋮ An analysis for causal properties of membrane interactions ⋮ Modeling and querying biomolecular interaction networks ⋮ Formal molecular biology ⋮ A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ Using process algebra to develop predator-prey models of within-host parasite dynamics ⋮ What is a free name in a process algebra? ⋮ Modelling of DNA mismatch repair with a reversible process calculus ⋮ Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch ⋮ Quorum sensing P systems ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Fair ambients ⋮ On the verification of membrane systems with dynamic structure ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ A decentralised graphical implementation of mobile ambients ⋮ Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis ⋮ On Beta-Binders Communications ⋮ Communicating by compatibility ⋮ Reachability problems in BioAmbients ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Measurable stochastics for Brane calculus ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Stochastic simulation of multiple process calculi for biology ⋮ Static analysis of IMC ⋮ Simulation of spatial P system models ⋮ Spatial calculus of looping sequences ⋮ Equivalences for a biological process algebra ⋮ A Decentralized Implementation of Mobile Ambients ⋮ Constructing and visualizing chemical reaction networks from pi-calculus models ⋮ A Biologically Inspired Model with Fusion and Clonation of Membranes ⋮ A formal approach to open multiparty interactions ⋮ Hybrid semantics for Bio-PEPA ⋮ The foundation of self-developing blob machines for spatial computing ⋮ Biochemical Reaction Rules with Constraints ⋮ Bisimulations in calculi modelling membranes ⋮ Modeling biological networks by action languages via answer set programming ⋮ Enumerated type semantics for the calculus of looping sequences ⋮ A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models ⋮ Reversible computation in nature inspired rule-based systems ⋮ Spatial Calculus of Looping Sequences ⋮ Improved Continuous Approximation of PEPA Models through Epidemiological Examples ⋮ A Translation of Beta-binders in a Prioritized Pi-calculus ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ Process Algebra with Hooks for Models of Pattern Formation ⋮ A monotone framework for CCS ⋮ Pathway analysis for BioAmbients ⋮ Bitonal membrane systems: interactions of biological membranes ⋮ Membrane computing and brane calculi. Old, new, and future bridges ⋮ A simple calculus for proteins and cells ⋮ On the decidability and complexity of the structural congruence for beta-binders ⋮ On temporal logic constraint solving for analyzing numerical data time series ⋮ Synapses as stochastic concurrent systems ⋮ Multi-level modelling via stochastic multi-level multiset rewriting ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values ⋮ Information flow security in boundary ambients ⋮ Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) ⋮ Biocomputing: an insight from linguistics ⋮ Strand algebras for DNA computing ⋮ Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors ⋮ Modelling Biological Compartments in Bio-PEPA ⋮ Type Disciplines for Analysing Biologically Relevant Properties ⋮ An Abstract Machine for the Stochastic Bioambient calculus ⋮ Reachability Analysis in BioAmbients ⋮ Stochastic biological modelling in the presence of multiple compartments ⋮ Bio-PEPA: A framework for the modelling and analysis of biological systems ⋮ An intermediate language for the stochastic simulation of biological systems ⋮ A control flow analysis for Beta-binders with and without static compartments ⋮ Process Algebra Models of Population Dynamics ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ The Attributed Pi-Calculus with Priorities ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ Probabilistic mobile ambients ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ Membrane automata for modeling biomolecular processes ⋮ Process Algebra Modelling Styles for Biomolecular Processes ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA ⋮ A Higher-Order Graph Calculus for Autonomic Computing ⋮ Deciding reachability problems in Turing-complete fragments of Mobile Ambients ⋮ On the computational power of BlenX ⋮ Membrane Computing and Brane Calculi (Some Personal Notes) ⋮ Biological Transactions for Quantitative Models ⋮ On Reachability and Spatial Reachability in Fragments of BioAmbients ⋮ Computing by Floating Strings ⋮ Timed Concurrent Constraint Programming for Analysing Biological Systems
Uses Software
Cites Work
This page was built for publication: BioAmbients: an abstraction for biological compartments
