From Flow Logic to Static Type Systems for Coordination Languages

Rocce De Nicola, Daniele Gorla, Rene Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

14 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftScience of Computer Programming
Vol/bind75
Udgave nummer6
Sider (fra-til)376-397
ISSN0167-6423
DOI
StatusUdgivet - jun. 2010

Bibliografisk note

10th International Conference on Coordination Models and Languages COORD’08

Citationsformater