Beta binders for biological interactions

DOI10.1007/978-3-540-25974-9_3MaRDI QIDQ5712405zbMATH OpenOpenAlexFDO

Authors Paola Quaglia, Corrado Priami

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107287, http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-25375-4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Neural networks for/in biological studies, artificial life and related topics (92B20)

Recommendations

• On Beta-Binders Communications
• Transactions on Computational Systems Biology III
• A static analysis for beta-binders
• Brane calculi. Interactions of biological membranes.
• A translation of beta-binders in a prioritized pi-calculus

Cited in

(62)

• On the computational power of BlenX
• A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
• Modelling patterns of gene regulation in the bond-calculus
• Stochastic biological modelling in the presence of multiple compartments
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• A control flow analysis for Beta-binders with and without static compartments
• Unwinding biological systems
• Causal static analysis for brane calculi
• A static analysis for brane calculi providing global occurrence counting information
• A general overview of formal languages for individual-based modelling of ecosystems
• Communicating by compatibility
• Hybrid semantics for Bio-PEPA
• Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
• A collective interpretation semantics for reversing Petri nets
• An analysis for causal properties of membrane interactions
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• Biological transactions for quantitative models
• Timed concurrent constraint programming for analysing biological systems
• The decidability of the structural congruence for beta-binders
• Encoding catalytic P systems in {\(\pi\)}\@
• Undecidability of model checking in brane logic
• A static analysis for beta-binders
• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
• A spatial extension to the calculus
• Efficient stochastic simulation of biological systems with multiple variable volumes
• A language for biochemical systems: design and formal specification
• On Beta-Binders Communications
• On the Computational Power of Biochemistry
• Bio-PEPA with Events
• A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions
• A process algebra framework for multi-scale modelling of biological systems
• Typed stochastic semantics for the calculus of looping sequences
• Control flow analysis for brane calculi
• Modelling biological compartments in bio-PEPA
• Intensional couplings in variable-structure models: an exploration based on multilevel-DEVS
• Semantics and efficient simulation algorithms of an expressive multilevel modeling language
• A semantic equivalence for Bio-PEPA based on discretisation of continuous values
• Spatial calculus of looping sequences
• A translation of beta-binders in a prioritized pi-calculus
• Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
• Approximating probabilistic behaviors of biological systems using abstract interpretation
• Process algebra with hooks for models of pattern formation
• Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
• Control Flow Analysis of Generalised Boolean Networks
• Formal Cellular Machinery
• HYPE Applied to the Modelling of Hybrid Biological Systems
• Modeling Static Biological Compartments with Beta-binders
• The Calculus of Looping Sequences for Modeling Biological Membranes
• Operational patterns in beta-binders
• A Global Occurrence Counting Analysis for Brane Calculi
• Transactions on Computational Systems Biology III
• Process calculi for biological processes
• Bonding calculus
• Spatial calculus of looping sequences
• Equivalences for a biological process algebra
• Beta-binders for biological quantitative experiments
• Bisimulations in calculi modelling membranes
• Pathway analysis for BioAmbients
• On the decidability and complexity of the structural congruence for beta-binders
• nano\(\kappa\): A calculus for the modeling and simulation of nano devices
• Evolving BlenX programs to simulate the evolution of biological networks
• Abstract interpretation based verification of temporal properties for BioAmbients

This page was built for publication: Beta binders for biological interactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5712405)