Brane Calculi

DOI10.1007/978-3-540-25974-9_24zbMath1088.68657OpenAlexW2913004508MaRDI QIDQ5712404

Publication date: 23 December 2005

Published in: Computational Methods in Systems Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-25974-9_24

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (95)

Modelling and verification of weighted spiking neural systems ⋮ An analysis for causal properties of membrane interactions ⋮ P systems with protein rules ⋮ A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ Modelling of DNA mismatch repair with a reversible process calculus ⋮ Computing by Endocytosis and Exocytosis ⋮ Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch ⋮ Universality results for P systems based on brane calculi operations ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ A rewriting logic framework for operational semantics of membrane systems ⋮ Fair ambients ⋮ An efficient time-free solution to QSAT problem using P systems with proteins on membranes ⋮ Using bigraphs to model topological graphs embedded in orientable surfaces ⋮ A process algebra framework for multi-scale modelling of biological systems ⋮ P systems with proteins on membranes characterize PSPACE ⋮ Modeling innate immune response to early Mycobacterium infection ⋮ Process calculi for biological processes ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ On the Computational Power of Enhanced Mobile Membranes ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Measurable stochastics for Brane calculus ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Stochastic simulation of multiple process calculi for biology ⋮ Computational Power of Protein Networks ⋮ Simulation of spatial P system models ⋮ The \texttt{link}-calculus for open multiparty interactions ⋮ Spatial calculus of looping sequences ⋮ Constructing and visualizing chemical reaction networks from pi-calculus models ⋮ A formal approach to open multiparty interactions ⋮ A constraint-based language for multiparty interactions ⋮ Bisimulations in calculi modelling membranes ⋮ Enumerated type semantics for the calculus of looping sequences ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ Process Algebra with Hooks for Models of Pattern Formation ⋮ Modular Verification of Interactive Systems with an Application to Biology ⋮ Control Flow Analysis of Generalised Boolean Networks ⋮ Formal Cellular Machinery ⋮ Containment in Rule-Based Models ⋮ Pathway analysis for BioAmbients ⋮ Bitonal membrane systems: interactions of biological membranes ⋮ Membrane computing and brane calculi. Old, new, and future bridges ⋮ Membrane systems with proteins embedded in membranes ⋮ (Mem)brane automata ⋮ A uniform family of tissue P systems with cell division solving 3-COL in a linear time ⋮ 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 ⋮ Stochastic Bigraphs ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values ⋮ Biocomputing: an insight from linguistics ⋮ Enhanced mobile membranes: computability results ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Mutual mobile membranes with objects on surface ⋮ Translating Stochastic CLS into Maude ⋮ Control Flow Analysis for Brane Calculi ⋮ Modelling Biological Compartments in Bio-PEPA ⋮ Type Disciplines for Analysing Biologically Relevant Properties ⋮ Stochastic biological modelling in the presence of multiple compartments ⋮ A control flow analysis for Beta-binders with and without static compartments ⋮ Defining and Executing P Systems with Structured Data in K ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Model Revision from Temporal Logic Properties in Computational Systems Biology ⋮ The Calculus of Looping Sequences for Modeling Biological Membranes ⋮ The Attributed Pi-Calculus with Priorities ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ Computational expressiveness of genetic systems ⋮ Membrane computing with transport and embedded proteins ⋮ Abstract interpretation and types for systems biology ⋮ P SYSTEMS WITH PROTEINS ON MEMBRANES: A SURVEY ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ Hunting Distributed Malware with the κ-Calculus ⋮ Membrane automata for modeling biomolecular processes ⋮ Process Algebra Modelling Styles for Biomolecular Processes ⋮ A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions ⋮ A Higher-Order Graph Calculus for Autonomic Computing ⋮ On the computational power of BlenX ⋮ Systemic computation: A model of interacting systems with natural characteristics ⋮ On the expressiveness of π-calculus for encoding mobile ambients ⋮ Membrane Computing and Brane Calculi (Some Personal Notes) ⋮ Membrane Systems with Marked Membranes ⋮ Membrane Systems with Peripheral Proteins: Transport and Evolution ⋮ A Linear–time Tissue P System Based Solution for the 3–coloring Problem ⋮ Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings ⋮ Timed Concurrent Constraint Programming for Analysing Biological Systems ⋮ A Simple Calculus for Proteins and Cells ⋮ The Decidability of the Structural Congruence for Beta-binders ⋮ Encoding Catalytic P Systems in π@ ⋮ Communication via Mobile Vesicles in Brane Calculi ⋮ A Model in κ for DNA Addition ⋮ Unwinding biological systems ⋮ Causal static analysis for brane calculi ⋮ Expressiveness Issues in Brane Calculi: A Survey ⋮ An Intermediate Language for the Simulation of Biological Systems ⋮ A Static Analysis for Beta-Binders

Cites Work

This page was built for publication: Brane Calculi