Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions

DOI10.1016/j.entcs.2009.03.038zbMath1294.68081OpenAlexW1975142301MaRDI QIDQ5170164

Dorel Lucanu

Publication date: 22 July 2014

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.03.038

zbMATH Keywords

modal logictrue concurrencymembrane systemrewrite strategiesrewrite logicstrategy controller

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items

Twenty years of rewriting logic, A bibliometric analysis of membrane computing (1998--2019), A formal library of set relations and its application to synchronous languages, Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Cites Work

• Unnamed Item
• Unnamed Item
• A rewriting logic framework for operational semantics of membrane systems
• Conditional rewriting logic as a unified model of concurrency
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Membrane computing. An introduction.
• Specification and proof in membership equational logic
• Semantic foundations for generalized rewrite theories
• Expressing Control Mechanisms of Membranes by Rewriting Strategies
• Algebraic laws for nondeterminism and concurrency
• Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
• Strategy-Based Proof Calculus for Membrane Systems
• Models and logics for true concurrency.
• Rewriting logic as a semantic framework for concurrency: a progress report