Operational semantics and rewriting logic in membrane computing

MaRDI QIDQ2852095zbMATH OpenFDO

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

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)

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

Cited in

(13)

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

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)