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. Science of Computer Programming, 75(6):376-397, 2010. [doi]
Abstract is missing.