From Flow Logic to Static Type Systems for Coordination Languages / DE NICOLA, R., D., G., R. R., H., F., N., H. R., N., C. W., P., R., P.. - (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.
