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

Browse the full Coordination paper archive.