Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors

DOI10.1016/j.entcs.2009.05.010zbMath1347.68125OpenAlexW2017612880WikidataQ57936974 ScholiaQ57936974MaRDI QIDQ5179127

Oana Agrigoroaiei, Gabriel Ciobanu

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

zbMATH Keywords

operational semanticsrewriting logicMaudemembrane system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items

A Petri net model for membrane systems with dynamic structure ⋮ Simulating and model checking membrane systems using strategies in Maude ⋮ Twenty years of rewriting logic ⋮ Travelling salesman problem in tissue P systems with costs ⋮ Memory associated with membranes systems ⋮ Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions ⋮ Reversing computation in membrane systems ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A rewriting logic framework for operational semantics of membrane systems
• The rewriting logic semantics project
• The chemical abstract machine
• Membrane systems with promoters/inhibitors
• Mobile ambients
• Maude: specification and programming in rewriting logic
• Membrane computing. An introduction.
• A structural approach to operational semantics
• BioAmbients: an abstraction for biological compartments
• Translating Mobile Ambients into P Systems
• A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
• Automated Reasoning