ETD system

Electronic theses and dissertations repository

 

Tesi etd-09042008-181249


Thesis type
Tesi di laurea specialistica
Author
RAMA, AURELIANO
URN
etd-09042008-181249
Title
A Calculus for Molecular Interaction Maps
Struttura
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
TECNOLOGIE INFORMATICHE
Supervisors
Relatore Prof. Barbuti, Roberto
Relatore Dott. Pardini, Giovanni
Parole chiave
  • Structural Operational Semantics
  • MIM
  • SOS Semantics
  • Process Algebra
  • Petri Net
  • Molecular Interaction Maps
  • Turing Equivalence
  • MIM-Calculus
Data inizio appello
10/10/2008;
Consultabilità
Completa
Riassunto analitico
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