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

Department of Computer Science

Research output: Contribution to journal › Journal article › Research › peer-review

15 Citations (Scopus)

Original language	English
Journal	Science of Computer Programming
Volume	75
Issue number	6
Pages (from-to)	376-397
ISSN	0167-6423
DOIs	https://doi.org/10.1016/j.scico.2009.07.009
Publication status	Published - Jun 2010

Access to Document

10.1016/j.scico.2009.07.009

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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 -