Deadlock analysis of asynchronous sequential processes

Mastandrea, Vincenzo (2014) Deadlock analysis of asynchronous sequential processes. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Documenti full-text disponibili:
Documento PDF
Download (736kB) | Anteprima


In this thesis we present ad study an object-oriented language, characterized by two different types of objects, passive and active objects, of which we define the operational syntax and semantics. For this language we also define the type system, that will be used for the type checking and for the extraction of behavioral types, which are an abstract description of the behavior of the methods, used in deadlock analysis. Programs can manifest deadlock due to the errors of the programmer. To statically identify possible unintended behaviors we studied and implemented a technique for the analysis of deadlock based on behavioral types.

Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Mastandrea, Vincenzo
Relatore della tesi
Corso di studio
Curriculum B: Tecnologie informatiche
Ordinamento Cds
Parole chiave
deadlock analisi asincrono analysis asynchronous
Data di discussione della Tesi
24 Settembre 2014

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento