From Flow Logic to Static Type Systems for Coordination Languages

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)
OriginalsprogEngelsk
TitelProceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08)
ForlagSpringer
Publikationsdato2008
Sider100-116
DOI
StatusUdgivet - 2008
BegivenhedInternational Conference on Coordination Models and Languages (Coordination'08) - Osle, Norge
Varighed: 4 jun. 20086 jun. 2008
Konferencens nummer: 10

Konference

KonferenceInternational Conference on Coordination Models and Languages (Coordination'08)
Nummer10
LandNorge
ByOsle
Periode04/06/200806/06/2008
NavnLecture Notes in Computer Science
Nummer5052
ISSN0302-9743

Citationsformater

De Nicola, R., Gorla, D., Hansen, R. R., Nielson, F., Nielson, H. R., Probst, C. W., & Pugliese, R. (2008). From Flow Logic to Static Type Systems for Coordination Languages. I Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08) (s. 100-116). Springer. Lecture Notes in Computer Science, Nr. 5052 https://doi.org/10.1007/978-3-540-68265-3_7