Coordination Models and Languages, 10th International Conference, COORDINATION 2008.
From Flow Logic to Static Type Systems for Coordination Languages / R. De Nicola, D. Gorla, R.R. Hansen, F. Nielson, H.R. Nielson, C.W. Probst, R. Pugliese. - STAMPA. - (2008), pp. 100-116. [10.1007/978-3-540-68265-3_7]
From Flow Logic to Static Type Systems for Coordination Languages
PUGLIESE, ROSARIO
2008
Abstract
Coordination Models and Languages, 10th International Conference, COORDINATION 2008.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
