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

DOI10.1016/j.entcs.2009.03.038zbMath1294.68081MaRDI 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 logic; true concurrency; membrane system; rewrite strategies; rewrite logic; strategy controller

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

03B45: Modal logic (including the logic of norms)

03B70: Logic in computer science

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q42: Grammars and rewriting systems

Related Items

A bibliometric analysis of membrane computing (1998--2019), A formal library of set relations and its application to synchronous languages, Twenty years of rewriting logic, 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