Signati, Teresa ;
Signati, Teresa
(2021)
Session types for asynchronous communication: a new subtyping and its implementation.
[Laurea magistrale], Università di Bologna, Corso di Studio in
Informatica [LM-DM270]
Documenti full-text disponibili:
![[img]](http://amslaurea.unibo.it/style/images/fileicons/application_pdf.png) |
Documento PDF (Thesis)
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 (532kB)
|
Abstract
Session types are a promising way to describe communication protocols directly through the type system, allowing to check the correctness of a system at compile time. This thesis represents a study of session subtyping, i.e., the substitutability of components, starting from the work by Bravetti, Lange, and Zavattaro, who presented a definition of fair asynchronous subtyping. Their subtyping allows the anticipation of messages emissions without the restrictions imposed by previous results on this field. Since covariance of outputs is not allowed by the original version of subtyping, we tried to address this problem and to introduce covariance into the original proposal of fair asynchronous subtyping. Finally, we describe the integration process of the new definition of subtyping within the tool for the check of subtyping relation.
Abstract
Session types are a promising way to describe communication protocols directly through the type system, allowing to check the correctness of a system at compile time. This thesis represents a study of session subtyping, i.e., the substitutability of components, starting from the work by Bravetti, Lange, and Zavattaro, who presented a definition of fair asynchronous subtyping. Their subtyping allows the anticipation of messages emissions without the restrictions imposed by previous results on this field. Since covariance of outputs is not allowed by the original version of subtyping, we tried to address this problem and to introduce covariance into the original proposal of fair asynchronous subtyping. Finally, we describe the integration process of the new definition of subtyping within the tool for the check of subtyping relation.
Tipologia del documento
Tesi di laurea
(Laurea magistrale)
Autore della tesi
Signati, Teresa ; Signati, Teresa
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Indirizzo
CURRICULUM A: TECNICHE DEL SOFTWARE
Ordinamento Cds
DM270
Parole chiave
session typing,session subtyping,fair asynchronous subtyping,covariance
Data di discussione della Tesi
18 Marzo 2021
URI
Altri metadati
Tipologia del documento
Tesi di laurea
(NON SPECIFICATO)
Autore della tesi
Signati, Teresa ; Signati, Teresa
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Indirizzo
CURRICULUM A: TECNICHE DEL SOFTWARE
Ordinamento Cds
DM270
Parole chiave
session typing,session subtyping,fair asynchronous subtyping,covariance
Data di discussione della Tesi
18 Marzo 2021
URI
Statistica sui download
Gestione del documento: