An overview on operational semantics in membrane computing

DOI10.1142/S0129054111007885MaRDI QIDQ3076604zbMATH OpenOpenAlexFDO

Authors 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

labelled transition systemsP systemsstructural operational semantics

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)

Recommendations

• Operational semantics and rewriting logic in membrane computing
• A rewriting logic framework for operational semantics of membrane systems
• Membrane Computing
• Fundamentals of Computation Theory
• DNA Computing

Cites work

• 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
• Using well-structured transition systems to decide divergence for catalytic P systems

Cited in

(11)

• Simulation of spatial P system models
• Modelling and analysing neural networks using a hybrid process algebra
• Investigating dynamic causalities in reaction systems
• Operational semantics and rewriting logic in membrane computing
• Systolic automata and P systems
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• Foundational aspects of multiscale modeling of biological systems with process algebras
• Membrane Computing
• Type inference for hierarchical multiset structures in rule-based systems
• A rewriting logic framework for operational semantics of membrane systems
• Minimal probabilistic P systems for modelling ecological systems

This page was built for publication: An overview on operational semantics in membrane computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3076604)