Operational semantics and rewriting logic in membrane computing

zbMATH Open1273.68201MaRDI QIDQ2852095FDOQ2852095

Authors: Oana Andrei, Dorel Lucanu, Gabriel Ciobanu 

Publication date: 7 October 2013

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

Recommendations

• A rewriting logic framework for operational semantics of membrane systems
• An overview on operational semantics in membrane computing
• Rewriting logic specification of membrane systems with promoters and inhibitors
• Membrane Computing
• REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY

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 (13)

• Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions
• Proof techniques in membrane computing
• A rewriting logic framework for operational semantics of membrane systems
• Chemical term reduction with active P systems
• Rewriting logic specification of membrane systems with promoters and inhibitors
• An overview on operational semantics in membrane computing
• Strategy-based proof calculus for membrane systems
• Programming Languages and Systems
• A temporal logic for mutual mobile membranes with objects on surface
• REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY
• Denotational semantics of membrane systems by using complete metric spaces
• Defining and Executing P Systems with Structured Data in K
• Membrane Computing

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)