From Flow Logic to Static Type Systems in Coordination Languages / ROCCO DE, Nicola; Gorla, Daniele; RENÈ RYDHOF, Hansen; Flemming, Nielson; HANNE RIIS, Nielson; CHRISTIAN W., Probst; Rosario, Pugliese. - STAMPA. - LNCS 5052:(2008), pp. 100-116. (Intervento presentato al convegno 10th International Conference on Coordination Models and Languages tenutosi a Oslo (Norvegia) nel 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.