Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Theoretical Computer Science - Natural computing
P Systems with replicated rewriting and stream X-machines (Eilenberg machines)
Fundamenta Informaticae - Membrane computing
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
Translating Mobile Ambients into P Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
Computing by Observing: A Brief Survey
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Testing Non-deterministic Stream X-machine Models and P systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Membrane Computing
Transforming State-Based Models to P Systems Models in Practice
Membrane Computing
A hybrid approach to modeling biological systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
On the decidability of model-checking for P systems
Journal of Automata, Languages and Combinatorics
Partial knowledge in membrane systems: a logical approach
WMC'06 Proceedings of the 7th international conference on Membrane Computing
P systems, petri nets, and program machines
WMC'05 Proceedings of the 6th international conference on Membrane Computing
P systems, a new computational modelling tool for systems biology
Transactions on Computational Systems Biology VI
Executable specifications of p systems
WMC'04 Proceedings of the 5th international conference on Membrane Computing
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |
In this paper it is surveyed the set of formal verification methods and testing approaches used so far for applications based on P systems.