Items where Author is "Gorla, Daniele"

Article

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 Labella, Anna Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science, 20 (3). pp. 319-358. ISSN 0960-1295 (2010)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic observables for a calculus for global computing. Information and Computation, 205 (10). pp. 1491-1525. ISSN 0890-5401 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global computing in a dynamic network of tuple spaces. Science of Computer Programming, 64 (2). pp. 187-204. ISSN 0167-6423 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Confining data and processes in global computing applications. Science of Computer Programming, 63 (1). pp. 57-87. ISSN 0167-6423 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the expressive power of KLAIM-based calculi. Theoretical Computer Science, 356 (3). pp. 387-421. ISSN 0304-3975 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the Expressive Power of Klaim-based Calculi. Electronic Notes in Theoretical Computer Science, 128 (2). pp. 117-130. ISSN 1571-0661 (2005)

Book Section

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 Pugliese, Rosario Basic Observables for a Calculus for Global Computing. In: Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, 3580 . Springer, pp. 1226-1238. ISBN 3-540-27580-0 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global Computing in a Dynamic Network of Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 157-172. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Pattern Matching over a Dynamic Network of Tuple Spaces. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005). Lecture Notes in Computer Science, 3535 . Springer, pp. 1-14. ISBN 3-540-26181-8 (2005)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)