logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

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
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
Relatore Barbuti, Roberto
Relatore Dott. Milazzo, Paolo
Parole chiave
  • Nessuna parola chiave trovata
Data inizio appello
15/02/2008
Consultabilità
Completa
Riassunto
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