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. 100-116 2008 COORDINATION http://dx.doi.org/10.1007/978-3-540-68265-3_7 conf/coordination/2008 db/conf/coordination/coordination2008.html#NicolaGHNNPP08