Tesi etd-09042008-181249 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
RAMA, AURELIANO
URN
etd-09042008-181249
Titolo
A Calculus for Molecular Interaction Maps
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
TECNOLOGIE INFORMATICHE
Relatori
Relatore Prof. Barbuti, Roberto
Relatore Dott. Pardini, Giovanni
Relatore Dott. Pardini, Giovanni
Parole chiave
- Structural Operational Semantics
- MIM
- SOS Semantics
- Process Algebra
- Petri Net
- Molecular Interaction Maps
- Turing Equivalence
- MIM-Calculus
Data inizio appello
10/10/2008
Consultabilità
Completa
Riassunto
Molecular Interaction Maps are a graphical formalism used by biologists to describe complex interactions between molecules. We provide a formal description of MIMs using process algebras and determine its computational power.
File
| Nome file | Dimensione |
|---|---|
| tesi_rama.pdf | 421.95 Kb |
Contatta l’autore |
|