Publications
Back to my homepage
My reasearch interests can be grouped in four main subjects:
Behavioural Equivalences
Expressiveness
Language-based Security
Models
For every subject, papers are listed in inverse chronological order.
If you have problems to download/read the papers, as well as you have
comments/questions/suggestions on them, please
contact me; I will answer you as soon as possible!
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.
Behavioural Equivalences
- 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
Expressiveness
- 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
Language-based Security
- 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)
- 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)
- Confining Data and Processes in Global Computing Applications
(R. De Nicola, D. Gorla, R. Pugliese)
- 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
Models
- 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
My PhD Thesis
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