@article{DBLP:journals/scp/NicolaGHNNPP10,
author = {Rocco {De Nicola} and
Daniele Gorla and
Ren{\'e} Rydhof Hansen and
Flemming Nielson and
Hanne Riis Nielson and
Christian W. Probst and
Rosario Pugliese},
title = {From Flow Logic to static type systems for coordination
languages},
journal = {Sci. Comput. Program.},
volume = {75},
number = {6},
year = {2010},
pages = {376-397},
ee = {http://dx.doi.org/10.1016/j.scico.2009.07.009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}