Strategy-Based Proof Calculus for Membrane Systems
From MaRDI portal
Publication:5179128
DOI10.1016/j.entcs.2009.05.011zbMath1347.68126OpenAlexW2090014309WikidataQ62041049 ScholiaQ62041049MaRDI QIDQ5179128
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
rewriting logicmembership equational logicmembrane systemstrategy controllerstrategy-based rewriting logic
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Simulating and model checking membrane systems using strategies in Maude ⋮ Parameterized strategies specification in Maude ⋮ Twenty years of rewriting logic ⋮ The Maude strategy language ⋮ Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions ⋮ Patterns for Maude Metalanguage Applications
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A rewriting logic framework for operational semantics of membrane systems
- P systems with minimal parallelism
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Conditional rewriting logic as a unified model of concurrency
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- ELAN from a rewriting logic point of view
- Membrane computing. An introduction.
- Semantic foundations for generalized rewrite theories
- Deduction, Strategies, and Rewriting
- Expressing Control Mechanisms of Membranes by Rewriting Strategies
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
- Membrane Computing
- Building program optimizers with rewriting strategies
This page was built for publication: Strategy-Based Proof Calculus for Membrane Systems
