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

doi:10.1007/978-3-540-68265-3_7

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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

5 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08)
Forlag	Springer
Publikationsdato	2008
Sider	100-116
DOI	https://doi.org/10.1007/978-3-540-68265-3_7
Status	Udgivet - 2008
Begivenhed	International Conference on Coordination Models and Languages (Coordination'08) - Osle, Norge Varighed: 4 jun. 2008 → 6 jun. 2008 Konferencens nummer: 10

Konference

Konference	International Conference on Coordination Models and Languages (Coordination'08)
Nummer	10
Land/Område	Norge
By	Osle
Periode	04/06/2008 → 06/06/2008

Navn	Lecture Notes in Computer Science
Nummer	5052
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-540-68265-3_7

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{68b132c0dafc11dda016000ea68e967b,

title = "From Flow Logic to Static Type Systems for Coordination Languages",

author = "{De Nicola}, Rocco and Daniele Gorla and Hansen, {Rene Rydhof} and Flemming Nielson and Nielson, {Hanne Riis} and Probst, {Christian W.} and Rosario Pugliese",

year = "2008",

doi = "10.1007/978-3-540-68265-3_7",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "5052",

pages = "100--116",

booktitle = "Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08)",

address = "Germany",

note = "International Conference on Coordination Models and Languages (Coordination'08) ; Conference date: 04-06-2008 Through 06-06-2008",

}

De Nicola, R, Gorla, D, Hansen, RR, Nielson, F, Nielson, HR, Probst, CW & 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). Springer, Lecture Notes in Computer Science, nr. 5052, s. 100-116, International Conference on Coordination Models and Languages (Coordination'08), Osle, Norge, 04/06/2008. https://doi.org/10.1007/978-3-540-68265-3_7

From Flow Logic to Static Type Systems for Coordination Languages. / De Nicola, Rocco; Gorla, Daniele; Hansen, Rene Rydhof et al.
Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08). Springer, 2008. s. 100-116 (Lecture Notes in Computer Science; Nr. 5052).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - From Flow Logic to Static Type Systems for Coordination Languages

AU - De Nicola, Rocco

AU - Gorla, Daniele

AU - Hansen, Rene Rydhof

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

AU - Probst, Christian W.

AU - Pugliese, Rosario

N1 - Conference code: 10

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-68265-3_7

DO - 10.1007/978-3-540-68265-3_7

M3 - Article in proceeding

T3 - Lecture Notes in Computer Science

SP - 100

EP - 116

BT - Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08)

PB - Springer

T2 - International Conference on Coordination Models and Languages (Coordination'08)

Y2 - 4 June 2008 through 6 June 2008

ER -