Login![[thumbnail of Thesis]](https://amslaurea.unibo.it/style/images/fileicons/application_pdf.png) |
Documento PDF (Thesis)
Full-text accessibile solo agli utenti istituzionali dell'Ateneo Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato Download (534kB) | Contatta l'autore |
Abstract
La tesi presenta la progettazione e l’implementazione di un framework per il Calculus of Communicating Systems (CCS), volto a simulare il comportamento concorrente dei processi mediante le librerie di concorrenza di Java. Il sistema, basato su una grammatica definita con ANTLR, comprende un parser, un builder e diversi moduli per la gestione e la pianificazione dei processi. Il lavoro analizza le problematiche legate alla sincronizzazione e al non determinismo, confrontando diverse strategie di esecuzione — dai thread tradizionali ai virtual thread. L’attività sperimentale valuta inoltre l’efficienza e la scalabilità del sistema, evidenziando l’impatto delle differenti politiche di gestione della concorrenza.
Altri metadati
Statistica sui download
Gestione del documento:
