Brane Calculi

DOI10.1007/978-3-540-25974-9_24zbMath1088.68657MaRDI 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

92C40: Biochemistry, molecular biology

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Defining and Executing P Systems with Structured Data in K, Model Revision from Temporal Logic Properties in Computational Systems Biology, The Calculus of Looping Sequences for Modeling Biological Membranes, A semantic equivalence for Bio-PEPA based on discretisation of continuous values, Enhanced mobile membranes: computability results, Mutual mobile membranes with objects on surface, Universality results for P systems based on brane calculi operations, A rewriting logic framework for operational semantics of membrane systems, Fair ambients, Bisimulations in calculi modelling membranes, 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, Abstract interpretation based verification of temporal properties for BioAmbients, Computational expressiveness of genetic systems, Membrane computing with transport and embedded proteins, On the computational power of BlenX, Stochastic biological modelling in the presence of multiple compartments, A control flow analysis for Beta-binders with and without static compartments, Abstract interpretation and types for systems biology, Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch, Enumerated type semantics for the calculus of looping sequences, The Attributed Pi-Calculus with Priorities, A Language for Biochemical Systems: Design and Formal Specification, P SYSTEMS WITH PROTEINS ON MEMBRANES: A SURVEY, Hunting Distributed Malware with the κ-Calculus, Systemic computation: A model of interacting systems with natural characteristics, On the Computational Power of Enhanced Mobile Membranes, 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

Cites Work