| Tipo di tesi |
Tesi di laurea specialistica |
| Autore |
LEPRI, DANIELA
|
| URN |
etd-01182008-114654 |
| Titolo |
A formal semantics for Molecular Interaction Maps |
| Settore scientifico disciplinare |
SCIENZE MATEMATICHE, FISICHE E NATURALI, FACOLTA' |
| Corso di studi |
INFORMATICA |
| Commissione |
| Nome Commissario |
Qualifica |
| Roberto Barbuti |
Relatore |
| Paolo Milazzo |
Relatore |
|
| Parole chiave |
- Nessuna parola chiave trovata
|
| Data inizio appello |
2008-02-15 |
| Disponibilità |
unrestricted |
Riassunto analitico
In the present work, we describe a possible formal semantics for Molecular Interaction Maps (MIMs), which are standard diagrams, used by biologists to depict interactions at molecular level within a cell environment. First we describe MIM notation in details, then we describe the Calculi of Looping Sequences (CLS), a family of formal languages which models biological systems, whose semantics is a transition systems. Finally, we give a possible formal semantics in CLS for MIMs.
|
| File |
| Nome file |
Dimensione |
Tempo di download stimato
(Ore:Minuti:Secondi)
|
| 28.8 Modem |
56K Modem |
ISDN (64 Kb) |
ISDN (128 Kb) |
piu' di 128 Kb |
| |
TESI.pdf |
1.35 Mb |
00:06:14 |
00:03:12 |
00:02:48 |
00:01:24 |
00:00:07 |
Contatta l'autore
|
|
