Il Calculus of Looping Sequences e' un formalismo per descrivere l'evoluzione di sistemi biologici attraverso regole di riscrittura. In questa tesi questo modello viene arricchito con due discipline di tipo, derivate dalla richiesta di certi elementi e dalla repellenza di altri, e diverse semantiche tipate, basate su regole che rispettano differenti proprieta' biologiche.
Tipi per Sistemi Biologici
BIOGLIO, LIVIO
2008/2009
Abstract
Il Calculus of Looping Sequences e' un formalismo per descrivere l'evoluzione di sistemi biologici attraverso regole di riscrittura. In questa tesi questo modello viene arricchito con due discipline di tipo, derivate dalla richiesta di certi elementi e dalla repellenza di altri, e diverse semantiche tipate, basate su regole che rispettano differenti proprieta' biologiche.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
319221_tesi.pdf
non disponibili
Tipologia:
Altro materiale allegato
Dimensione
681.54 kB
Formato
Adobe PDF
|
681.54 kB | Adobe PDF |
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14240/14513