ETD

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

Tesi etd-03132009-144349

Tipo di tesi

Tesi di laurea specialistica

URN

etd-03132009-144349

Titolo

Saturated Transition Systems for Presheaf Models

Dipartimento

SCIENZE MATEMATICHE, FISICHE E NATURALI

Corso di studi

INFORMATICA

Parole chiave

Nessuna parola chiave trovata

Data inizio appello

03/04/2009

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

La presente tesi propone una tecnica sistematica per la rappresentazione coalgebrica di sistemi di transizione in cui la bisimilarità è una congruenza, adoperando categorie di coalgebre su presheaves. Si investigano le condizioni di rappresentabilità e si forniscono esempi applicativi.

File

Nome file	Dimensione
Tesi.pdf	351.01 Kb
Contatta l’autore