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

doi:10.1016/j.scico.2009.07.009

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

Institut for Datalogi

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

15 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Science of Computer Programming
Vol/bind	75
Udgave nummer	6
Sider (fra-til)	376-397
ISSN	0167-6423
DOI	https://doi.org/10.1016/j.scico.2009.07.009
Status	Udgivet - jun. 2010

Bibliografisk note

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

Adgang til dokumentet

10.1016/j.scico.2009.07.009

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@article{d6005291e9d74784ae44956cea70306d,

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

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

note = "10th International Conference on Coordination Models and Languages COORD{\textquoteright}08 ",

year = "2010",

month = jun,

doi = "10.1016/j.scico.2009.07.009",

language = "English",

volume = "75",

pages = "376--397",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "6",

}

TY - JOUR

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

AU - De Nicola, Rocce

AU - Gorla, Daniele

AU - Hansen, Rene Rydhof

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

AU - Probst, Christian W.

AU - Pugliese, Rosario

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

PY - 2010/6

Y1 - 2010/6

U2 - 10.1016/j.scico.2009.07.009

DO - 10.1016/j.scico.2009.07.009

M3 - Journal article

SN - 0167-6423

VL - 75

SP - 376

EP - 397

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 6

ER -