PÉREZ JIMÉNEZ , Mario De Jesús (Coordinador)

Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning systems (ACL2, PVS, etc). In this paper a systematic method to establish verifications of these programs within molecular models with memory, that is, molecular computing models where some operations modifying the inner structure...

Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has been successfully used for modelling population dynamics on real ecosystems. The semantics of these systems is captured by the Direct distribution based on Consistent Blocks Algorithm (DCBA), which has been engineered into...