• Ponencia
      Icon

      Uranium- decay chain 

      Arazo, María; Barroso Mancha, Marc; Torre, Óscar de la; Moreno Valero, Laura; Ribes Metidieri, Ariadna; Ribes Metidieri, Patricia; Ventura, Ana; Orellana Martín, David (Fénix, 2016)
      The main objective of this article is to modelize the process of decay of Uranium within the framework of Membrane ...
    • Ponencia
      Icon

      Verifying P Systems with Costs by Using Priced-Timed Maude 

      Aman, Bogdan; Ciobanu, Gabriel (Fénix, 2016)
      We consider P systems that assigns storage costs per step to membranes, and execution costs to rules. We present an ...