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. In Doug Lea, Gianluigi Zavattaro, editors, Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings. Volume 5052 of Lecture Notes in Computer Science, pages 100-116, Springer, 2008. [doi]
Abstract is missing.