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.
2008
9783540682646
Lecture Notes in Computer Science 5052
100
116
R. De Nicola; D. Gorla; R.R. Hansen; F. Nielson; H.R. Nielson; C.W. Probst; R. Pugliese
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/333616
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 3
social impact