logo SBA

ETD

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

Tesi etd-09042008-181249


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
Parole chiave
  • MIM
  • MIM-Calculus
  • Molecular Interaction Maps
  • Petri Net
  • Process Algebra
  • SOS Semantics
  • Structural Operational Semantics
  • Turing Equivalence
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