A rewriting logic framework for operational semantics of membrane systems
From MaRDI portal
Publication:877021
DOI10.1016/j.tcs.2006.12.016zbMath1111.68064OpenAlexW2071919672WikidataQ57937131 ScholiaQ57937131MaRDI QIDQ877021
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
Publication date: 19 April 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.016
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)
Related Items (26)
Finite state based testing of P systems ⋮ Simulating and model checking membrane systems using strategies in Maude ⋮ Systolic Automata and P Systems ⋮ A model learning based testing approach for spiking neural P systems ⋮ Denotational semantics of membrane systems by using complete metric spaces ⋮ Twenty years of rewriting logic ⋮ Minimal probabilistic P systems for modelling ecological systems ⋮ Integrated regulatory networks (IRNs): spatially organized biochemical modules ⋮ Continuation Passing Semantics for Membrane Systems ⋮ Simulation of spatial P system models ⋮ Compositional semantics and behavioral equivalences for P systems ⋮ A Temporal Logic for Mutual Mobile Membranes with Objects on Surface ⋮ RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS ⋮ Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions ⋮ Reversing computation in membrane systems ⋮ Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors ⋮ Strategy-Based Proof Calculus for Membrane Systems ⋮ Patterns for Maude Metalanguage Applications ⋮ Translating Stochastic CLS into Maude ⋮ On Testing P Systems ⋮ Defining and Executing P Systems with Structured Data in K ⋮ Compositional semantics of spiking neural P systems ⋮ A Formal Framework for Static (Tissue) P Systems ⋮ AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING ⋮ Simulating P systems with membrane dissolution in a chemical calculus ⋮ 3-Col problem modelling using simple kernel P systems
Uses Software
Cites Work
- Unnamed Item
- The chemical abstract machine
- Term-rewriting systems with rule priorities
- ELAN from a rewriting logic point of view
- Maude: specification and programming in rewriting logic
- Structured gamma
- Membrane computing. An introduction.
- A structural approach to operational semantics
- MGS
- Automated Reasoning
- Brane Calculi
- Membrane Computing
This page was built for publication: A rewriting logic framework for operational semantics of membrane systems
