Expressing Control Mechanisms of Membranes by Rewriting Strategies

DOI10.1007/11963516_10zbMath1187.68223OpenAlexW2139396251WikidataQ57937245 ScholiaQ57937245MaRDI QIDQ3591032

Dorel Lucanu, Gabriel Ciobanu, Oana Andrei

Publication date: 3 September 2007

Published in: Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11963516_10

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42)

Related Items (5)

Simulating and model checking membrane systems using strategies in Maude ⋮ Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions ⋮ Strategy-Based Proof Calculus for Membrane Systems ⋮ Defining and Executing P Systems with Structured Data in K ⋮ P systems with control nuclei: the concept

Uses Software

• Maude

This page was built for publication: Expressing Control Mechanisms of Membranes by Rewriting Strategies