@article {,
	title = {A Formalization of Transition P Systems},
	journal = {Fundamenta Informaticae},
	volume = {49},
	year = {2002},
	pages = {261-272},
	publisher = {IOS Press},
	address = {Warsaw, Poland},
	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: transition P systems as they were given in [3], addressed with completely different techniques than in [1] and [2]. For this, we present a formal syntax and semantic of the transition P systems capturing the synchronized work of P systems, and the nondeterministic and maximally parallel manner in which the rules of these systems can be applied. 


},
	keywords = {Formal Verification, Natural computing, P system},
	issn = {0169-2968},
	url = {http://portal.acm.org/citation.cfm?id=1220112},
	author = {Mario J. P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini}
}
