Editorial Work

  • ACM SIGLOG News - Feature on "Conference Reports" [URL]

  • Special Issue: Best papers from EXPRESS/SOS'18 (co-editor with S. Tini)

    • Information and Computation (Elsevier), Vol. 275 [DOI] [URL]

  • Proceedings of FORTE 2019 - 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (co-editor with N. Yoshida)

    • Springer LNCS Vol. 11535 [DOI]

  • Proceedings of EXPRESS/SOS 2019 - Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (co-editor with J. Rot)

    • EPTCS Vol. 300 [DOI]

  • Proceedings of EXPRESS/SOS 2018 - Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (co-editor with S. Tini)

    • EPTCS Vol. 276 [DOI]

  • Proceedings of DCM 2015 - Eleventh International Workshop on Developments in Computational Models (co-editor with C. Muñoz)

    • EPTCS Vol. 204 [DOI]

  • Special Issue: Best papers from ICTAC'15 (co-editor with M. Leucker, C. Rueda, and F. Valencia)

    • Mathematical Structures in Computer Science (MSCS) - Cambridge University Press, Vol. 29 [DOI]

Drafts and Submissions (4)

Book Chapters (1)

Journals (13)

  1. Session-Based Concurrency, Declaratively (with M. Cano, H. Lopez, and C. Rueda)

  2. On the Relative Expressiveness of Higher-Order Session Processes (with D. Kouzapas and N. Yoshida)

  3. Reversibility in Session-Based Concurrency: A Fresh Look (with C. Mezzina)

  4. Characteristic Bisimulation for Higher-Order Session Processes (with D. Kouzapas and N. Yoshida)

    • Acta Informatica 54(3): 271-341 (2017)

    • Special Issue: Best Papers from CONCUR'15 [DOI] (Open access)

  5. Event-Based Run-time Adaptation in Communication-Centric Systems (with C. Di Giusto)

  6. Self-Adaptation and Secure Information Flow in Multiparty Communications (with I. Castellani and M. Dezani-Ciancaglini)

  7. Dynamic Role Authorization in Multiparty Conversations (with S. Ghilezan, S. Jaksic, J. Pantovic, and H. T. Vieira)

  8. Combining Behavioural Types With Security Analysis (with M. Bartoletti, I. Castellani, P.-M. Deniélou, M. Dezani-Ciancaglini, S. Ghilezan, J. Pantovic, P. Thiemann, B. Toninho, and H. T. Vieira)

  9. Disciplined Structured Communications with Disciplined Runtime Adaptation (with C. Di Giusto)

  10. Linear Logical Relations and Observational Equivalences for Session-Based Concurrency (with L. Caires, F. Pfenning, and B. Toninho)

    • Information and Computation 239:254-302 (2014)

    • [Supersedes our ESOP'12 paper.] [DOI] [PDF]

    • Note: The version here addresses inaccuracies in Sect. 5.3 (confluence) as in previous versions of the paper.

  11. Adaptable Processes (with M. Bravetti, C. Di Giusto, and G. Zavattaro)

  12. On the Expressiveness and Decidability of Higher-Order Process Calculi (with I. Lanese, D. Sangiorgi and A. Schmitt)

  13. Higher-Order Concurrency: Expressiveness and Decidability

Peer-Reviewed Contributions

[International Conferences and Workshops. Full and Short Papers]

Technical Reports (3)

  • Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness (with D. Kouzapas and N. Yoshida)

    • This TR comprises papers first published in CONCUR'15 and ESOP'16 and later in Acta Informatica (2017) and Information and Computation (2019), respectively. More details in the dedicated page.

  • Relational Parametricity for Polymorphic Session Types (with L. Caires, F. Pfenning, and B. Toninho.)

  • Higher-Order Concurrency: Expressiveness and Decidability Results (PhD Thesis)

Theses (2)

  • Higher-Order Concurrency: Expressiveness and Decidability Results [PDF]

    • Dottorato di Ricerca in Informatica, University of Bologna, 2010.

      • Supervisor: Davide Sangiorgi

      • External Reviewers: Uwe Nestmann (Berlin) and Nobuko Yoshida (London)

      • Examination Committee: Mariangiola Dezani (Turin), Paola Quaglia (Trento), Francesco Romani (Pisa).

  • Soft Constraints in Concurrent Constraint Programming: Design and Implementation (with Alberto Delgado) (Análisis e Implementación de Mecanismos de Restricciones Débiles para Programación Concurrente por Restricciones)

    • Engineering Degree in Computer Science, Universidad Javeriana (Colombia), February 2006.

    • Work awarded for the achievements accomplished, Council of the School of Engineering, February 10, 2006

Other Works