Membrane System-Based Models for Specifying Dynamical Population Systems

Autor: Colomer Cugat, M. Ángels, García Quismondo, Manuel, Macías Ramos, Luis Felipe, Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario de Jesús, Riscos Núñez, Agustín, Valencia Cabrera, Luis, Frisco, Pierluigi (Coordinador), Gheorghe, Marian (Coordinador), Pérez Jiménez, Mario de Jesús (Coordinador)

Publikováno v: idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Emergence, Complexity and Computation ISBN: 9783319031903
idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)

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 Dire

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21d25979f52ab98f380417cb98cc66d7

Formal Verification of Programs in Molecular Models with Random Access Memory

Autor: Pérez Jiménez, Mario de Jesús, Sancho Caparrini, Fernando, Pérez Jiménez, Mario de Jesús (Coordinador), Romero Jiménez, Álvaro (Coordinador), Sancho Caparrini, Fernando (Coordinador)

Publikováno v: idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
idUS. Depósito de Investigación de la Universidad de Sevilla
instname

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 m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2c6e4dcbed338fdf84aee74eb1e8d343