Foundations of session types and behavioural contracts / Hans, Hüttel; Ivan, Lanese; Vasco T., Vasconcelos; Luís, Caires; Marco, Carbone; Pierre-Malo, Deniélou; Dimitris, Mostrous; Luca, Padovani; António, Ravara; Emilio, Tuosto; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro. - In: ACM COMPUTING SURVEYS. - ISSN 0360-0300. - 49:1(2016), pp. 1-36. [10.1145/2873052]
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
