@Article{DGHNNPP:SCP10,
  author    =   {R. {De Nicola} and D. Gorla and R.R. Hansen and F. Nielson and H.R. Nielson and C.W. Probst and R. Pugliese},
  title     =   {From Flow Logic to Static Type Systems for Coordination Languages},
  Journal   =   {Science of Computer Programming},
  volume    = 	{75},
  issue    = 	{6},
  pages     =  	{376--397},
  year      =  	{2010},
  publisher =   {Elsevier},
}