A formalization of transition P systems

Article

Abstract: In this paper we give a complete formalization of a new computability model of a distributed paralle

Palabras claves:

Formal verification, Natural Computing, P system

Autores:

Fernando Sancho-Caparrini, Pérez-Jiménez M.J.

Fuentes:

scopus