Brane Calculi
From MaRDI portal
Publication:5712404
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
92C40: Biochemistry, molecular biology
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Multi-level modelling via stochastic multi-level multiset rewriting, 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, 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, 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, A semantic equivalence for Bio-PEPA based on discretisation of continuous values, Enhanced mobile membranes: computability results, Mutual mobile membranes with objects on surface, Spatial calculus of looping sequences, 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, Biocomputing: an insight from linguistics, Modeling innate immune response to early Mycobacterium infection, 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, 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, Expressiveness Issues in Brane Calculi: A Survey, An Intermediate Language for the Simulation of Biological Systems, A Static Analysis for Beta-Binders, Computing by Endocytosis and Exocytosis, 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