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].

From Flow Logic to Static Type Systems in Coordination Languages

GORLA, DANIELE;
2008

2008
10th International Conference on Coordination Models and Languages
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/56007
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
social impact