A P Systems Flat Form Preserving Step-by-step Behaviour

Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone

IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and complete with respect to some behavioural equivalence. To achieve this goal, we propose to transform the systems into a normal form with an equivalent semantics. As a first step, we introduce axioms which allow the transformation of membrane structures into flat membranes. We leave as future work the further step that leads to the wanted normal form.

SFX

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11383/5755

Autori:	R. Barbuti A. Maggiolo Schettini P. Milazzo TINI, SIMONE mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2008
Titolo:	A P Systems Flat Form Preserving Step-by-step Behaviour
Rivista:	FUNDAMENTA INFORMATICAE
Codice identificativo ISI:	WOS:000262368400002
Codice identificativo Scopus:	2-s2.0-58149528213
Appare nelle tipologie:	Articolo su Rivista

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.