Daniele Gorla

Thomas Given-Wilson, Daniele Gorla: Pattern Matching and Bisimulation. COORDINATION 2013: 60-74

Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin: Preface to special issue: EXPRESS, ICE and SOS 2009. Mathematical Structures in Computer Science 22(2): 123-124 (2012)

Daniele Gorla: A taxonomy of process calculi for distribution and mobility. Distributed Computing 23(4): 273-299 (2010)

Daniele Gorla: Towards a unified approach to encodability and separation results for process calculi. Inf. Comput. 208(9): 1031-1053 (2010)

Daniele Gorla, Catuscia Palamidessi: Preface. Journal of Computer Security 18(2): 189 (2010)

Thomas Hildebrandt, Daniele Gorla: Preface to special issue: Expressiveness in Concurrency 2008. Mathematical Structures in Computer Science 20(1): 1-2 (2010)

Rocco De Nicola, Daniele Gorla, Anna Labella: Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science 20(3): 319-358 (2010)

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. Sci. Comput. Program. 75(6): 376-397 (2010)

Thomas Given-Wilson, Daniele Gorla, Barry Jay: Concurrent Pattern Calculus. IFIP TCS 2010: 244-258

Michele Boreale, David Clark, Daniele Gorla: A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS 2010: 340-354

Thomas Hildebrandt, Daniele Gorla: Preface. Electr. Notes Theor. Comput. Sci. 242(1): 1-2 (2009)

Daniele Gorla: On the Relative Expressive Power of Calculi for Mobility. Electr. Notes Theor. Comput. Sci. 249: 269-286 (2009)

Daniele Gorla, Rosario Pugliese: Dynamic management of capabilities in a network aware coordination language. J. Log. Algebr. Program. 78(8): 665-689 (2009)

Pietro Cenciarelli, Daniele Gorla, Ivano Salvo: Depletable Channels: Dynamics and Behaviour. FCT 2009: 50-61

Sibylle B. Fröschle, Daniele Gorla (Eds.): Proceedings 16th International Workshop on Expressiveness in Concurrency. EPTCS 8, 2009

Daniele Gorla: Comparing communication primitives via their relative expressive power. Inf. Comput. 206(8): 931-952 (2008)

Daniele Gorla: Towards a Unified Approach to Encodability and Separation Results for Process Calculi. CONCUR 2008: 492-507

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. COORDINATION 2008: 100-116

Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto: Network Applications of Graph Bisimulation. ICGT 2008: 131-146

Daniele Gorla: On the Relative Expressive Power of Ambient-Based Calculi. TGC 2008: 141-156

Daniele Gorla: Synchrony vs Asynchrony in Communication Primitives. Electr. Notes Theor. Comput. Sci. 175(3): 87-108 (2007)

Daniele Gorla, Catuscia Palamidessi: Preface. Electr. Notes Theor. Comput. Sci. 194(1): 1-2 (2007)

Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007)

Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007)

Chiara Braghin, Daniele Gorla, Vladimiro Sassone: Role-based access control for a distributed calculus. Journal of Computer Security 14(2): 113-155 (2006)

Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006)

Rocco De Nicola, Daniele Gorla, Rosario Pugliese: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006)

Daniele Gorla: On the Relative Expressive Power of Asynchronous Communication Primitives. FoSSaCS 2006: 47-62

Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Inferring dynamic credentials for rôle-based trust management. PPDP 2006: 213-224

Rocco De Nicola, Daniele Gorla, Rosario Pugliese: On the Expressive Power of Klaim-based Calculi. Electr. Notes Theor. Comput. Sci. 128(2): 117-130 (2005)

Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. Electr. Notes Theor. Comput. Sci. 138(1): 23-42 (2005)

Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science 1(3) (2005)

Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172

Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14

Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238

Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. CoRR abs/cs/0506061 (2005)

Chiara Braghin, Daniele Gorla, Vladimiro Sassone: A Distributed Calculus for Ro^le-Based Access Control. CSFW 2004: 48-60

Daniele Gorla, Rosario Pugliese: Controlling data movement in global computing applications. SAC 2004: 1462-1467

Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri: The Klaim Project: Theory and Practice. Global Computing 2003: 88-150

Daniele Gorla, Rosario Pugliese: Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132

Daniele Gorla, Rosario Pugliese: Enforcing Security Policies via Types. SPC 2003: 86-100

Michele Boreale, Daniele Gorla: On Compositional Reasoning in the Spi-calculus. FoSSaCS 2002: 67-81