Publications

Back to my homepage

My reasearch interests can be grouped in four main subjects:

Behavioural Equivalences     Expressiveness      Language-based Security      Models

The documents available from this site are provided as a means to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder (Springer-Verlag, IEEE, ACM, etc.). Permission to make digital or hard copies of part or all of these works for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. The electronic version of some of the works available from this site may differ from the definitive published version. Copyright of works submitted for publication may be transferred without further notice and this version may no longer be accessible.

• Pattern-Matching and Bisimulation (T. Given Wilson and D. Gorla)
  
  • Proceedings of the 15th International Conference on Coordination Models and Languages (COORDINATION 2013), LNCS 7890, pages 60-74. Springer, 2013.
    PDF Paper - Bib Entry - Long version
  
  
• Tree-Functors, Determinacy and Bisimulations (R. De Nicola, D. Gorla and A. Labella)
  
  • Mathematical Structures in Computer Science, 20(3):319-358. Cambridge University Press, 2010. PDF Paper - Bib Entry.
  
  
• Depletable Channels: Dynamics and Behaviour (P. Cenciarelli, D. Gorla and I. Salvo)
  
  • Proceedings of the 17th International Symposium on Fundamentals of Computation Theory (FCT 2009), LNCS 5966, pages 50-61. Springer, 2009. PDF Paper - Bib Entry.
  
  
• Network Applications of Graph Bisimulation (P. Cenciarelli, D. Gorla and E. Tuosto)
  
  • Proceedings of the 4th International Conference on Graph Transformation (ICGT 2008), LNCS 5214, pages 131-146. Springer, 2008. PDF Paper - Bib Entry.
  
  
• Basic Observables for a Calculus for Global Computing (R. De Nicola, D. Gorla, R. Pugliese)
  
  • Information and Computation, 205(10):1491-1525, Elsevier 2007. A more detailed version appeared as Technical Report 07/2004, Dip. di Informatica, Univ. di Roma "La Sapienza" (Italy). PDF Paper - Bib Entry - Tech. Report
  • An extended abstract appeared in the Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), LNCS 3580, pages 1226-1238. Springer, 2005. PDF Paper - Bib Entry
  
  
• Global Computing in a Dynamic Network of Tuple Spaces (R. De Nicola, D. Gorla, R. Pugliese)
  
  • Science of Computer Programming, 64(2):187–204, Elsevier, 2007 (also available as Tech. Rep. 05/2005, Dip. di Informatica, Univ. di Roma "La Sapienza"). PDF Paper - Bib Entry
  • An extended abstract appeared in the Proceedings of the 7th International Conference on Coordination Models and Languages (COORDINATION 2005), LNCS 3454, pages 157-172. Springer, 2005. PDF Paper - Bib Entry
  
  
• On Compositional Reasoning in the Spi-Calculus (M. Boreale, D. Gorla)
  
  • Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2002 - held as part of ETAPS'02), LNCS 2303, pages 67-81. Springer 2002. PDF Paper - Bib Entry
    
  • Derived from this paper: Process Calculi and the Verification of Security Properties, appeared in Journal of Telecommunications and Information Technology - Special Issue on Cryptographic Protocol Verification, 2002/4, pagg. 28-40, National Institute of Telecommunications - Warsaw, 2002. PDF Paper - Bib Entry
  
  

Top of page

Back to my homepage

• Concurrent Pattern Calculus ( T. Given-Wilson, D. Gorla and B. Jay)
  
  • Proceedings of the 6th International IFIP Conference on Theoretical Computer Science (IFIP-TCS 2010), IFIP AICT 323, pages 244 - 258. Springer, 2010.
    PDF Paper - Bib Entry - Long version
  
  
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi (D. Gorla)
  
  • Information and Computation, 208(9):1031 – 1053, Elsevier 2010. PDF Paper - Bib Entry
  • Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), LNCS 5201, pages 492-507. Springer, 2008. PDF paper - Bib Entry
  
  
• A Taxonomy of Process Calculi for Distribution and Mobility (D. Gorla)
  
  • Distributed Computing, 23(4):273-299, Springer, 2010. PDF Paper - Bib Entry
    This paper is an extended version of the following three workss:
    • On the relative expressive power of ambient-based calculi, appeared in the Proceedings of the 4th Intern.Symp. on Trustworthy Global Computing (TGC'08), LNCS 5474, pages 141-156. Springer, 2009. PDF Paper - Bib Entry
    • On the relative expressive power of calculi for mobility, appeared in the Proceedings of the 25th Intern.Conf. on Mathematical Foundations of Programming Semantics (MFPS XXV), ENTCS 249, pages 269-286. Elsevier, 2009. PDF Paper - Bib Entry
    • Technical Report 09/2006, Dip. di Informatica, Univ. di Roma "La Sapienza" (Italy).
  
  
• Comparing Communication Primitives via their Relative Expressive Power (D. Gorla)
  
  • Information and Computation, 206(8):931-952, Elsevier 2008. PDF Paper - Bib Entry
    This paper is an extended, revised and improved version of the following two (preliminary) works:
    
    • Synchrony vs Asynchrony in Comunication Primitives (D. Gorla)
      
      • Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), ENTCS 175(3):87-108. Elsevier, 2007 (formerly available as Tech. Report 05/2006, Dip. di Informatica, Univ. di Roma "La Sapienza", Italy). PDF Paper - Bib Entry
    • On the Relative Expressive Power of Asynchronous Comunication Primitives (D. Gorla)
      
      • Proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2006 - held as part of ETAPS'06), LNCS 3921, pages 47-62. Springer, 2006. PDF Paper - Bib Entry
      • Full version available as Tech. Report 06/2005, Dip. di Informatica, Univ. di Roma "La Sapienza" (Italy).
  
  
• On the Expressive Power of KLAIM-based Calculi (R. De Nicola, D. Gorla, R. Pugliese)
  
  • Theoretical Computer Science, 356(3):387-421. Elsevier, 2006 (formerly available as Tech. Rep. 09/2004, Dip. di Informatica, Univ. di Roma "La Sapienza"). PDF Paper - Bib Entry
  • An extended abstract appeared in the Proceedings of the 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004), ENTCS 128(2):117-130. Elsevier, 2004. PDF Paper - Bib Entry
  
  

Top of page

Back to my homepage

• A Semiring-based Trace Semantics for Processes with Applications to Information Leakage Analysis (M. Boreale, D. Clark and D. Gorla)
  
  • Proceedings of the 6th International IFIP Conference on Theoretical Computer Science (IFIP-TCS 2010), IFIP AICT 323, pages 340 - 354. Springer, 2010.
    PDF Paper - Bib Entry - Full version
  
  
• From Flow Logic to Static Type Systems in Coordination Languages (R. De Nicola, D. Gorla, R.R. Hansen, F. Nielson, H. Riis Nielson, C.W. Probst, R. Pugliese)
  
  • Science of Computer Programming, 75(6): 376 - 397. Elsevier, 2010. PDF Paper - Bib Entry
  • An extended abstract appeared in the Proceedings of the 10th International Conference on Coordination Models and Languages (COORDINATION 2008), LNCS 5052, pages 100 – 116. Springer, 2008. PDF Paper - Bib Entry
  
  
• Dynamic management of capabilities in a network aware coordination language (D. Gorla, R. Pugliese)
  
  • Journal of Logic and Algebraic Programming, 78:665 - 689, Elsevier 2009. (also available as Tech. Rep. 06/2004, Dip. di Informatica, Univ. di Roma "La Sapienza"). PDF Paper - Bib Entry
  • A preliminary version with title Resource Access and Mobility Control with Dynamic Privileges Acquisition appeared in the Proceedings of the 30th International Colloquium on Automata, Languages and Programming (ICALP 2003), LNCS 2719, pages 119-132. Springer 2003. PDF Paper - Bib Entry
  
  
• Inferring Dynamic Credentials for Role-based Trust Management (D. Gorla, M. Hennessy and V. Sassone)
  
  • Proceedings of the 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2006), pages 213-224. ACM Press, 2006. PDF Paper - Bib Entry
  • Full version available as Tech. Report 04/2006, Dip. di Informatica, Univ. di Roma "La Sapienza" (Italy).
  
  
• Security Policies as Membranes in Systems for Global Computing (D. Gorla, M. Hennessy, V. Sassone)
  
  • Logical Methods in Computer Science, 1(3:2):1-23, 2005 (formerly available as Research Report 02/2004, Dept. of Informatics, Univ. of Sussex at Brighton). PDF Paper - Bib Entry
  • An extended abstract appeared in the Proceedings of the Foundations of Global Ubiqitous Computing Workshop (FGUC 2004), ENTCS 138(1):23-42. Elsevier, 2004. PDF Paper - Bib Entry
  
  
• Role-Based Access Control for a Distributed Calculus (C. Braghin, D. Gorla and V. Sassone)
  
  • Journal of Computer Security, 14(2):113-155. IOS Press, 2006 (also available as Tech. Rep. 08/2004, Dip. di Informatica, Univ. di Roma "La Sapienza"). PDF Paper - Bib Entry
    
  • An extended abstract with title A Distributed Calculus for Role-Based Access Control appeared in the Proceedings of the 17th Computer Security Foundations Workshop (CSFW 2004), pages 48-60. IEEE Computer Society, 2004. PDF Paper - Bib Entry
  
  
• Confining Data and Processes in Global Computing Applications (R. De Nicola, D. Gorla, R. Pugliese)
  
  • Science of Computer Programming, 63(1):57-87. Elsevier, 2006. PDF Paper - Bib Entry
  • A preliminary version with title Controlling Data Movement in Global Computing Applications appeared in the Proceedings of the 19th Annual ACM-SIGAPP Symposium on Applied Computing (SAC 2004), pages 1462-1467. ACM Press, 2004. PDF Paper - Bib Entry
  
  
• Enforcing Security Policies via Types (D. Gorla, R. Pugliese)
  
  • Proceedings of the 1st International Conference on Security in Pervasive Computing (SPC 2003), LNCS 2802, pages 86-100. Springer, 2003. PDF Paper - Bib Entry
  • Full version available as Tech. Report 05/2004, Dip. di Informatica, Univ. di Roma "La Sapienza" (Italy).
  
  

Top of page

Back to my homepage

• Semantic Subtyping for Objects and Classes (O. Dardha, D. Gorla and D. Varacca)
  
  • Proceedings of the International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2013), LNCS 7892, pages 66 - 82. Springer, 2013. PDF Paper - Bib Entry.
  
  
• Pattern Matching over a Dynamic Network of Tuple Spaces (R. De Nicola, D. Gorla, R. Pugliese)
  
  • Proceedings of the 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2005), LNCS 3535, pages 1-14. Springer, 2005.
    PDF Paper - Bib Entry
  
  
• The KLAIM Project: Theory and Practice (L.Bettini, V.Bono, R.De Nicola, G.Ferrari, D.Gorla, M.Loreti, E.Moggi, R.Pugliese, E.Tuosto, B.Venneri)
  
  • In Global Computing: Programming Environments, Languages, Security and Analysis of Systems, LNCS 2874, pagg. 88-150. Springer, 2003. PDF Paper - Bib Entry
  
  

Top of page

Back to my homepage

• Semantic Approaches to Global Computing Systems PhD thesis XVII-04-I, Dip. Sistemi ed Informatica, Univ. di Firenze. December 2004.
  Zipped PDF file
  
  

My Master Thesis  

• Grammatiche di sincronizzazione per generare l’esposizione di una fuga Dip. Informatica, Univ. di Roma "La Sapienza". December 2000 (in italian).
  Zipped PDF file
  

Top of page

Back to my homepage