From Flow Logic to Static Type Systems in Coordination Languages / ROCCO DE, N., Gorla, D., RENÈ RYDHOF, H., Flemming, N., HANNE RIIS, N., CHRISTIAN W., P., Rosario, P.. - STAMPA. - LNCS 5052:(2008), pp. 100-116. (10th International Conference on Coordination Models and Languages Oslo (Norvegia) 4-6 giugno 2008) [10.1007/978-3-540-68265-3_7].
File allegati a 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.


