Sciweavers

FUIN
2002
88views more  FUIN 2002»
13 years 11 months ago
A Formalization of Transition P Systems
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
Mario J. Pérez-Jiménez, Fernando San...