AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING

DOI10.1142/S0129054111007885zbMath1213.68357OpenAlexW2108159184MaRDI QIDQ3076604

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

Publication date: 23 February 2011

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054111007885

zbMATH Keywords

structural operational semanticslabelled transition systemsP systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Modelling and analysing neural networks using a hybrid process algebra ⋮ Investigating dynamic causalities in reaction systems ⋮ Systolic Automata and P Systems ⋮ Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Minimal probabilistic P systems for modelling ecological systems ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Type inference for hierarchical multiset structures in rule-based systems ⋮ Simulation of spatial P system models

Cites Work

• Using well-structured transition systems to decide divergence for catalytic P systems
• A rewriting logic framework for operational semantics of membrane systems
• Compositional semantics and behavioral equivalences for P systems
• Higher-level synchronising devices in Meije-SCCS

This page was built for publication: AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING