Compositional semantics and behavioral equivalences for P systems

DOI10.1016/j.tcs.2008.01.028zbMath1145.68033OpenAlexW2081186791MaRDI QIDQ924685

Roberto Barbuti, Simone Tini, Andrea Maggiolo-Schettini, Paolo Milazzo

Publication date: 19 May 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.01.028

zbMATH Keywords

structural operational semanticscongruenceP systemsbehavioral equivalence

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items (11)

An algorithm for the identification of components in biochemical pathways ⋮ Systolic Automata and P Systems ⋮ Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Minimal probabilistic P systems for modelling ecological systems ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Simulation of spatial P system models ⋮ Spatial P systems ⋮ Compositional semantics of spiking neural P systems ⋮ AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING ⋮ Component identification in biochemical pathways

Cites Work

• Unnamed Item
• Using well-structured transition systems to decide divergence for catalytic P systems
• A rewriting logic framework for operational semantics of membrane systems
• A complete inference system for a class of regular behaviours
• Higher-level synchronising devices in Meije-SCCS
• Turning SOS rules into equations
• An axiomatic semantics for the synchronous language Gentzen.
• A guide to membrane computing.
• A comparison of Statecharts step semantics
• Membrane computing. An introduction.
• A structural approach to operational semantics
• Process algebra for synchronous communication
• Formal verification of parallel programs
• Causality in Membrane Systems
• A Formal Framework for Static (Tissue) P Systems
• Membrane Computing
• An axiomatic semantics for Esterel

This page was built for publication: Compositional semantics and behavioral equivalences for P systems