Bisimulations in calculi modelling membranes

DOI10.1007/s00165-008-0071-xzbMath1152.68035OpenAlexW2040270674MaRDI QIDQ939161

Angelo Troina, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo

Publication date: 21 August 2008

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-008-0071-x

zbMATH Keywords

BioinformaticsBisimulationsBrane CalculiCalculus of Looping SequencesLabelled Semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cell biology (92C37) Grammars and rewriting systems (68Q42)

Related Items (11)

Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Measurable stochastics for Brane calculus ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Spatial calculus of looping sequences ⋮ Equivalences for a biological process algebra ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values ⋮ Type Disciplines for Analysing Biologically Relevant Properties ⋮ A logical and graphical framework for reaction systems ⋮ A process algebraic approach to reaction systems ⋮ Identification of components in biochemical pathways: extensive aqpplication to SBML models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation for higher-order process calculi
• Testing equivalences for processes
• Modeling and querying biomolecular interaction networks
• Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
• Formal molecular biology
• Modelling biochemical pathways through enhanced \(\pi\)-calculus
• BioAmbients: an abstraction for biological compartments
• Bisimulation Congruences in the Calculus of Looping Sequences
• Brane Calculi
• Computational Methods in Systems Biology
• From rewrite rules to bisimulation congruences

This page was built for publication: Bisimulations in calculi modelling membranes