Compositional semantics and behavioural equivalences for reaction systems with restriction
type: Item
instance of: scholarly article
title: Compositional semantics and behavioural equivalences for reaction systems with restriction
zbMATH Open document ID: 1360.68574
author: Giovanni Pardini
author: Roberto Barbuti
author: Andrea Maggiolo-Schettini
author: Paolo Milazzo
author: Simone Tini
published in: Theoretical Computer Science
publication date: 2014-08-29T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 92C45
zbMATH DE Number: 6335768
zbMATH Keywords: reaction systems
zbMATH Keywords: reaction algebra
zbMATH Keywords: structural operational semantics
zbMATH Keywords: behavioural equivalences
zbMATH Keywords: congruence
MaRDI profile type: Publication
full work available at URL: j.tcs.2014.04.010
OpenAlex ID: W2093960806
cites work: Q3425581
cites work: A tour of reaction systems
cites work: Membrane computing. An introduction.
cites work: A Compositional Semantics of Reaction Systems with Restriction
cites work: An excursion in reaction systems: from computer science to biology
cites work: Introducing time in reaction systems
cites work: Reaction Systems with Duration
cites work: Events and modules in reaction systems
cites work: FUNCTIONS DEFINED BY REACTION SYSTEMS
cites work: Representing Reaction Systems by Trees
cites work: STABILITY AND CHAOS IN REACTION SYSTEMS
cites work: Compositional semantics and behavioral equivalences for P systems
cites work: Compositional semantics of spiking neural P systems
cites work: AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
cites work: Q3601853
cites work: Q5472932
cites work: Bisimulations in calculi modelling membranes
cites work: Bisimulation Congruences in the Calculus of Looping Sequences
cites work: Spatial calculus of looping sequences
cites work: Foundational aspects of multiscale modeling of biological systems with process algebras
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: Higher-level synchronising devices in Meije-SCCS
DOI: 10.1016/J.TCS.2014.04.010
description: scientific article; zbMATH DE number 6335768