From Flow Logic to Static Type Systems for Coordination Languages / DE NICOLA, R; D., Gorla; R. R., Hansen; F., Nielson; H. R., Nielson; C. W., Probst; R., Pugliese. - (2008), pp. 100-116.
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.
