In the occasion of the PPDP 2010 most influential paper award, we recall the context in which the original research grew, summarize our contribution to the theory of contracts and illustrate subsequent developments and impact of our work in the research area of behavioural types and specification of concurrent systems.
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later
de'Liguoro, Ugo
2020-01-01
Abstract
In the occasion of the PPDP 2010 most influential paper award, we recall the context in which the original research grew, summarize our contribution to the theory of contracts and illustrate subsequent developments and impact of our work in the research area of behavioural types and specification of concurrent systems.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2020 Barbanera dL - Two notions of sub-behaviour for session-based client-server systems 10 Years Later.pdf
Accesso aperto
Descrizione: Articolo principale
Tipo di file:
PDF EDITORIALE
Dimensione
386.96 kB
Formato
Adobe PDF
|
386.96 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
