Membrane Computing: An Introduction
Membrane Computing: An Introduction
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
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
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
Defining and Executing P Systems with Structured Data in K
Membrane Computing
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Electronic Notes in Theoretical Computer Science (ENTCS)
Events, causality, and concurrency in membrane systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
A temporal logic for mutual mobile membranes with objects on surface
Computation, cooperation, and life
| Hi-index | 0.00 |