Buscar
Mostrando ítems 1-1 de 1
Ponencia
Verifying P Systems with Costs by Using Priced-Timed Maude
(Fénix, 2016)
We consider P systems that assigns storage costs per step to membranes, and execution costs to rules. We present an abstract syntax of the new class of membrane systems, and then deal with costs by extending the operational ...