@InProceedings{DGHNNPP:COORD08,
  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 in Coordination Languages},
  editor    =   {D. Lea and G. Zavattaro},
  booktitle =   {Proc. of 10th International Conference on Coordination Models and Languages (COORDINATION 2008)},
  series    =   {LNCS},
  volume    = 	{5052},
  pages     =  	{100--116},
  year      =  	{2008},
  publisher =   {Springer},
}