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:
[img]
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
Correlatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM509
Parole chiave
modelli e sistemo concorrenti, multi-ccs
Data di discussione della Tesi
20 Marzo 2012
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^