Strategy-based proof calculus for membrane systems

DOI10.1016/J.ENTCS.2009.05.011MaRDI QIDQ5179128zbMATH OpenOpenAlexWikidataFDO

Authors Oana Andrei, Dorel Lucanu

Publication date 19 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.05.011

zbMATH Keywords

membership equational logicmembrane systemrewriting logicstrategy controllerstrategy-based rewriting logic

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

• Expressing Control Mechanisms of Membranes by Rewriting Strategies
• Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions
• Rewriting logic specification of membrane systems with promoters and inhibitors
• Operational semantics and rewriting logic in membrane computing
• A rewriting logic framework for operational semantics of membrane systems

Cites work

• A rewriting logic framework for operational semantics of membrane systems
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Building program optimizers with rewriting strategies
• Conditional rewriting logic as a unified model of concurrency
• Deduction, strategies, and rewriting
• ELAN from a rewriting logic point of view
• Expressing Control Mechanisms of Membranes by Rewriting Strategies
• scientific article; zbMATH DE number 1722718 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 1982209 (Why is no real title available?)
• Membrane Computing
• Membrane computing. An introduction.
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• P systems with minimal parallelism
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Semantic foundations for generalized rewrite theories

Cited in

(11)

• A Prolog simulator for deterministic P systems with active membranes
• Twenty years of rewriting logic
• Proof techniques in membrane computing
• Parameterized strategies specification in Maude
• Simulating and model checking membrane systems using strategies in Maude
• Partial Knowledge in Membrane Systems: A Logical Approach
• Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions
• Rewriting logic specification of membrane systems with promoters and inhibitors
• Patterns for Maude metalanguage applications
• The Maude strategy language
• A rewriting logic framework for operational semantics of membrane systems

Describes a project that uses

Uses Software

• Stratego
• Maude
• Tom

This page was built for publication: Strategy-based proof calculus for membrane systems

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