Tesi etd-03132009-144349 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
SAMMARTINO, MATTEO
URN
etd-03132009-144349
Titolo
Saturated Transition Systems for Presheaf Models
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
Relatore Prof. Montanari, Ugo
Parole chiave
- Nessuna parola chiave trovata
Data inizio appello
03/04/2009
Consultabilità
Completa
Riassunto
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 |
|