Implementazione di Semantiche Operazionali per MULTI-CCS

Moschese, Giovanni (2012) Implementazione di Semantiche Operazionali per MULTI-CCS. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]
Documenti full-text disponibili:
[thumbnail of moschese_giovanni_tesi.pdf]
Anteprima
 Documento PDF
Download (1MB) | Anteprima

Abstract

implementazione e dimostrazione di semantiche per il nuovo linguaggio di modellazione concorrente ¨Multi-CCS¨

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Moschese, Giovanni
Relatore della tesi
Gorrieri, Roberto
Correlatore della tesi
Versari, Cristian
Scuola
Scienze
Corso di studio
Informatica [L-DM509]
Ordinamento Cds
DM509
Parole chiave
modelli e sistemo concorrenti, multi-ccs
Data di discussione della Tesi
20 Marzo 2012
URI
https://amslaurea.unibo.it/id/eprint/3132

Altri metadati

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

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

^