Importing ownership types into the join calculus

Patrignani, Marco (2010) Importing ownership types into the join calculus. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Documenti full-text disponibili:
[thumbnail of Patrignani_Marco_tesi.pdf]
Anteprima
 Documento PDF
Download (853kB) | Anteprima
Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Patrignani, Marco
Relatore della tesi
Sangiorgi, Davide
Correlatore della tesi
Clarke, Dave
Scuola
Scienze
Corso di studio
Informatica [LM-DM270]
Indirizzo
Curriculum A: Scienze informatiche
Ordinamento Cds
DM270
Parole chiave
type systems, join calculus, ownership types, process calculus
Data di discussione della Tesi
15 Luglio 2010
URI
https://amslaurea.unibo.it/id/eprint/1173

Altri metadati

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^