Items where Author is "Nielson, Hanne Riis"

2010

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010)

2008

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008)