Operational semantics and rewriting logic in membrane computing

zbMATH Open1273.68201MaRDI QIDQ2852095FDOQ2852095

Gabriel Ciobanu, Oana Andrei, Dorel Lucanu

Publication date: 7 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002179

Mathematics Subject Classification ID

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

Cited In (6)

• Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
• Proof techniques in membrane computing
• A rewriting logic framework for operational semantics of membrane systems
• Programming Languages and Systems
• Defining and Executing P Systems with Structured Data in K
• A Temporal Logic for Mutual Mobile Membranes with Objects on Surface

 Recommendations

This page was built for publication: Operational semantics and rewriting logic in membrane computing

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