From Flow Logic to static type systems for coordination languages.

Rocco De Nicola Daniele Gorla René Rydhof Hansen Flemming Nielson Hanne Riis Nielson Christian W. Probst Rosario Pugliese From Flow Logic to static type systems for coordination languages. 376-397 2010 75 Sci. Comput. Program. 6 http://dx.doi.org/10.1016/j.scico.2009.07.009 db/journals/scp/scp75.html#NicolaGHNNPP10