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.