Static analysis techniques for session-oriented calculi / Lucia, Acciai; Chiara, Bodei; Michele, Boreale; Roberto, Bruni; MENDES TORRES VIEIRA, H. - 6582:(2011), pp. 214-231. [10.1007/978-3-642-20401-2_10]
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.

