Home ETD
banca dati delle tesi e dissertazioni accademiche elettroniche
Università di Pisa
Sistema bibliotecario di ateneo
Tesi etd-01182008-114654
Condividi questa tesi: 
 
 

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