Tesi etd-09222008-123106 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
TERRENI, DANIELE
URN
etd-09222008-123106
Titolo
Computational models based on hierarchical graphs: bigraphs and cogs-graphs
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
Relatore Prof. Montanari, Ugo
Parole chiave
- bigraphs
- gs-graphs
- gs-monoidal
- session-based calculi
Data inizio appello
10/10/2008
Consultabilità
Non consultabile
Data di rilascio
10/10/2048
Riassunto
We will introduce two models, namely bigraphs and
cogs-graphs, describing computational systems in which the components may interact and are organized in a hierarchical structure. We show that if we exclude the possibility for a control of having local ports, the two formulations are essentially equivalent.
cogs-graphs, describing computational systems in which the components may interact and are organized in a hierarchical structure. We show that if we exclude the possibility for a control of having local ports, the two formulations are essentially equivalent.
File
| Nome file | Dimensione |
|---|---|
La tesi non è consultabile. |
|