Search
Now showing items 1-1 of 1
Tipi globali per reti asincrone: un approccio coinduttivo
(2020-10-29)
I tipi globali sono un semplice, ma espressivo formalismo di tipo, usato per modellare la struttura delle interazioni desiderate tra più partecipanti che si scambiano messaggi in una rete. Tradizionalmente i tipi globali ...