Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
From MaRDI portal
Publication:5179127
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
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
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