ETD

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

Tesi etd-09222008-123106

Tipo di tesi

Tesi di laurea specialistica

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

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

Riassunto (Italiano)

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

Nome file	Dimensione
La tesi non è consultabile. Contatta l’autore