Search the dblp DataBase

Publications of Author

1. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
   Global Computing in a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2005, pp:157-172 [Conf]
   
2. Chiara Braghin, Daniele Gorla, Vladimiro Sassone
   A Distributed Calculus for Ro^le-Based Access Control. [Citation Graph (0, 0)][DBLP]
   CSFW, 2004, pp:48-60 [Conf]
   
3. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
   Pattern Matching over a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2005, pp:1-14 [Conf]
   
4. Michele Boreale, Daniele Gorla
   On Compositional Reasoning in the Spi-calculus. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2002, pp:67-81 [Conf]
   
5. Daniele Gorla
   On the Relative Expressive Power of Asynchronous Communication Primitives. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2006, pp:47-62 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   Global Computing, 2003, pp:88-150 [Conf]
   
7. Daniele Gorla, Rosario Pugliese
   Resource Access and Mobility Control with Dynamic Privileges Acquisition. [Citation Graph (0, 0)][DBLP]
   ICALP, 2003, pp:119-132 [Conf]
   
8. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
   Basic Observables for a Calculus for Global Computing. [Citation Graph (0, 0)][DBLP]
   ICALP, 2005, pp:1226-1238 [Conf]
   
9. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
   Inferring dynamic credentials for rôle-based trust management. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:213-224 [Conf]
   
10. Daniele Gorla, Rosario Pugliese
    Controlling data movement in global computing applications. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1462-1467 [Conf]
    
11. Daniele Gorla, Rosario Pugliese
    Enforcing Security Policies via Types. [Citation Graph (0, 0)][DBLP]
    SPC, 2003, pp:86-100 [Conf]
    
12. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
    Security Policies as Membranes in Systems for Global Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:23-42 [Journal]
    
13. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    On the Expressive Power of Klaim-based Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:117-130 [Journal]
    
14. Chiara Braghin, Daniele Gorla, Vladimiro Sassone
    Role-based access control for a distributed calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2006, v:14, n:2, pp:113-155 [Journal]
    
15. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
    Security Policies as Membranes in Systems for Global Computing. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:3, pp:- [Journal]
    
16. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Confining data and processes in global computing applications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:1, pp:57-87 [Journal]
    
17. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Global computing in a dynamic network of tuple spaces. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:2, pp:187-204 [Journal]
    
18. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    On the expressive power of KLAIM-based calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:3, pp:387-421 [Journal]
    
19. Daniele Gorla
    Synchrony vs Asynchrony in Communication Primitives. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:87-108 [Journal]
    
20. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Basic observables for a calculus for global computing. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:10, pp:1491-1525 [Journal]
    
21. 
    Towards a Unified Approach to Encodability and Separation Results for Process Calculi. [Citation Graph (, )][DBLP]
    
    
22. 
    From Flow Logic to Static Type Systems for Coordination Languages. [Citation Graph (, )][DBLP]
    
    
23. 
    Depletable Channels: Dynamics and Behaviour. [Citation Graph (, )][DBLP]
    
    
24. 
    Network Applications of Graph Bisimulation. [Citation Graph (, )][DBLP]
    
    
25. 
    On the Relative Expressive Power of Ambient-Based Calculi. [Citation Graph (, )][DBLP]
    
    
26. 
    Security Policies as Membranes in Systems for Global Computing [Citation Graph (, )][DBLP]
    
    
27. 
    Proceedings 16th International Workshop on Expressiveness in Concurrency [Citation Graph (, )][DBLP]
    
    
28. 
    Preface. [Citation Graph (, )][DBLP]
    
    
29. 
    Preface. [Citation Graph (, )][DBLP]
    
    
30. 
    On the Relative Expressive Power of Calculi for Mobility. [Citation Graph (, )][DBLP]