Sistema ETD

banca dati delle tesi e dissertazioni accademiche elettroniche

 

Tesi etd-01182008-114654


Tipo di tesi
Tesi di laurea specialistica
Autore
LEPRI, DANIELA
URN
etd-01182008-114654
Titolo
A formal semantics for Molecular Interaction Maps
Struttura
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Commissione
Relatore Roberto Barbuti
Relatore Paolo Milazzo
Parole chiave
  • Nessuna parola chiave trovata
Data inizio appello
2008-02-15
Disponibilità
completa
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