A rewriting logic framework for operational semantics of membrane systems
DOI10.1016/J.TCS.2006.12.016zbMATH Open1111.68064OpenAlexW2071919672WikidataQ57937131 ScholiaQ57937131MaRDI QIDQ877021FDOQ877021
Authors: 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
Recommendations
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)
Cites Work
- Maude: specification and programming in rewriting logic
- Membrane computing. An introduction.
- A structural approach to operational semantics
- Brane Calculi
- The chemical abstract machine
- MGS: a rule-based programming language for complex objects and collections
- Automated Reasoning
- ELAN from a rewriting logic point of view
- Structured gamma
- Term-rewriting systems with rule priorities
- Operational semantics and rewriting logic in membrane computing
- Membrane Computing
Cited In (28)
- Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
- Continuation Passing Semantics for Membrane Systems
- Twenty years of rewriting logic
- Patterns for Maude Metalanguage Applications
- Strategy-Based Proof Calculus for Membrane Systems
- Integrated regulatory networks (IRNs): spatially organized biochemical modules
- Reversing computation in membrane systems
- A Formal Framework for Static (Tissue) P Systems
- Simulating P systems with membrane dissolution in a chemical calculus
- Compositional semantics of spiking neural P systems
- Compositional semantics and behavioral equivalences for P systems
- An overview on operational semantics in membrane computing
- Systolic Automata and P Systems
- A temporal logic for mutual mobile membranes with objects on surface
- Finite state based testing of P systems
- Simulation of spatial P system models
- Minimal probabilistic P systems for modelling ecological systems
- 3-Col problem modelling using simple kernel P systems
- Simulating and model checking membrane systems using strategies in Maude
- RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
- REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY
- A model learning based testing approach for spiking neural P systems
- Denotational semantics of membrane systems by using complete metric spaces
- Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions
- Defining and Executing P Systems with Structured Data in K
- Translating Stochastic CLS into Maude
- Membrane Computing
- On Testing P Systems
Uses Software
This page was built for publication: A rewriting logic framework for operational semantics of membrane systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877021)
