Bisimulations in calculi modelling membranes
type: Item
instance of: scholarly article
title: Bisimulations in calculi modelling membranes
zbMATH Open document ID: 1152.68035
author: Roberto Barbuti
author: Andrea Maggiolo-Schettini
author: Paolo Milazzo
author: Angelo Troina
published in: Formal Aspects of Computing
publication date: 2008-08-21T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 92C37
zbMATH DE Number: 5314957
zbMATH Keywords: Calculus of Looping Sequences
zbMATH Keywords: Brane Calculi
zbMATH Keywords: Labelled Semantics
zbMATH Keywords: Bisimulations
zbMATH Keywords: Bioinformatics
MaRDI profile type: Publication
full work available at URL: s00165-008-0071-x
OpenAlex ID: W2040270674
cites work: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
cites work: Q5486047
cites work: Bisimulation Congruences in the Calculus of Looping Sequences
cites work: Brane Calculi
cites work: Modeling and querying biomolecular interaction networks
cites work: Modelling biochemical pathways through enhanced \(\pi\)-calculus
cites work: Formal molecular biology
cites work: Testing equivalences for processes
cites work: Q4536606
cites work: Q3992568
cites work: Q4248252
cites work: Computational Methods in Systems Biology
cites work: BioAmbients: an abstraction for biological compartments
cites work: Bisimulation for higher-order process calculi
cites work: From rewrite rules to bisimulation congruences
DOI: 10.1007/S00165-008-0071-X
description: scientific article; zbMATH DE number 5314957