Cerca
Items 1-1 di 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 ...