ETD

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

Tesi etd-09042008-181249

Tipo di tesi

Tesi di laurea specialistica

URN

etd-09042008-181249

Titolo

A Calculus for Molecular Interaction Maps

Dipartimento

SCIENZE MATEMATICHE, FISICHE E NATURALI

Corso di studi

TECNOLOGIE INFORMATICHE

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 (Inglese)

Riassunto (Italiano)

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

Nome file	Dimensione
tesi_rama.pdf	421.95 Kb
Contatta l’autore