The semantics of programming languages: an elementary introduction using structural operational semantics
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Executable specifications of p systems
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Theoretical Computer Science
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
Membrane computing and brane calculi. Old, new, and future bridges
Theoretical Computer Science
Membrane Computing
Defining and Executing P Systems with Structured Data in K
Membrane Computing
Operational Semantics and Rewriting Logic in Membrane Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
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 modeling approach based on p systems with bounded parallelism
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Expressing control mechanisms of membranes by rewriting strategies
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Hi-index | 0.00 |
The paper formally describes an operational semantics of P systems. We present an abstract syntax of P systems, then the notion of configurations, and we define the sets of inference rules corresponding to the three stages of an evolution step: maximal parallel rewriting, parallel communication, and parallel dissolving. Several results assuring the correctness of each set of inference rules are also presented. Finally, we define simulation and bisimulation relations between P systems.