Term-rewriting systems with rule priorities
Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
Selected papers of the Second Workshop on Concurrency and compositionality
Science of Computer Programming
Membrane Computing: An Introduction
Membrane Computing: An Introduction
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Operational Semantics and Rewriting Logic in Membrane Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Structural operational semantics of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Executable specifications of p systems
WMC'04 Proceedings of the 5th international conference on Membrane Computing
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
Translating Stochastic CLS into Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
Letters: A variant of P systems for optimization
Neurocomputing
Membrane Computing
Defining and Executing P Systems with Structured Data in K
Membrane Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Electronic Notes in Theoretical Computer Science (ENTCS)
Strategy-Based Proof Calculus for Membrane Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Patterns for Maude Metalanguage Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite state based testing of P systems
Natural Computing: an international journal
WMC'07 Proceedings of the 8th international conference on Membrane computing
Events, causality, and concurrency in membrane systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
A formal framework for static (tissue) P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
An integrated approach to P systems formal verification
CMC'10 Proceedings of the 11th international conference on Membrane computing
A temporal logic for mutual mobile membranes with objects on surface
Computation, cooperation, and life
Formal verification and testing based on p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Integrated regulatory networks (IRNs): Spatially organized biochemical modules
Theoretical Computer Science
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
Simulation of Spatial P system models
Theoretical Computer Science
| Hi-index | 5.27 |
Existing results in membrane computing refer mainly to P systems' characterization of Turing computability, also to some polynomial solutions to NP-complete problems by using an exponential workspace created in a ''biological way''. In this paper we define an operational semantics of a basic class of P systems, and give two implementations of the operational semantics using rewriting logic. We present some results regarding these implementations, including two operational correspondence results, and discuss why these implementations are relevant in order to take advantage of good features of both structural operational semantics and rewriting logic.