From Flow Logic to static type systems for coordination languages