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

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

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??? 3
social impact