logo SBA

ETD

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

Tesi etd-09222008-123106


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.
File