Items where Author is "Probst, Christian W."
Number of items: 14. DeDe 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) 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) GoDe 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) 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) HaDe 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) 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) NiDe 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) 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) 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) 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) PrDe 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) 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) PuDe 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) 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) |
