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

• Special Issue: Best papers from FORTE'19 (co-editor with N. Yoshida)

  • Logical Methods in Computer Science [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]

• Runtime Verification for Decentralised and Distributed Systems (with A. Francalanza and C. Sanchez)

  • In Lectures on Runtime Verification Springer LNCS, Vol. 10457. [DOI]

1. A Decentralized Analysis of Multiparty Protocols (with B. van den Heuvel)

   • Science of Computer Programming [DOI] [PDF] [DRAFT@arxiv]

2. Session Coalgebras: A Coalgebraic View on Regular and Context-Free Session Types (with A. C. Keizer and H. Basold)

   • ACM TOPLAS (In Press) [DOI] [DRAFT]

   • Special Issue: Best Papers from ESOP'21

   • Supersedes our ESOP'21 paper.

3. Causal Consistency for Reversible Multiparty Protocols (with C. Mezzina)

   • Logical Methods in Computer Science Vol 17, Issue 4. [DOI] [DRAFT@arxiv]

   • Supersedes our PPDP'17 paper.

4. Comparing Type Systems for Deadlock Freedom (with O. Dardha)

   • Logical and Algebraic Methods in Programming: 124 [DOI] [DRAFT@arxiv]

   • Supersedes our EXPRESS'15 paper.

5. On Primitives for Compensation Handling as Adaptable Processes (with J. Dedeić and J. Pantović)

   • Logical and Algebraic Methods in Programming: 121 [PDF] [DOI]

   • Supersedes our EXPRESS'15 and SAC'17 papers with improved encodings and stronger correctness properties.

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

   • Acta Informatica 59: 1-87 [PDF] [DOI]

   • Supersedes our PPDP'15 paper. See also Mauricio's PhD thesis.

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

   • Information and Computation 268 [DRAFT] [DOI]

   • Supersedes our ESOP'16 paper.

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

   • Logical and Algebraic Methods in Programming 90:2-30 (2017)

   • Special issue: Best papers from PLACES'16. [DRAFT] [DOI]

   • Supersedes our PLACES'16 and ICTCS'16 papers.

9. 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]

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

    • Formal Aspects of Computing 28(4): 531-566 (2016)

    • Special Issue on Behavioral Types [DOI] (Open access) [PDF]

    • Supersedes our WS-FM'14 paper.

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

    • Formal Aspects of Computing 28(4): 669-696 (2016)

    • Special Issue on Behavioral Types [DOI] (Open access) [PDF]

    • Supersedes our BEAT'14 paper.

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

    • Formal Aspects of Computing 28(4): 643-667 (2016)

    • Special Issue on Behavioral Types [DOI] [PDF]

    • Supersedes our BEAT'14 and PLACES'15 papers.

13. 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)

    • Logical and Algebraic Methods in Programming 84:763–780 (2015)

    • Extends the state of the art report of BETTY Cost Action's WG2 [HAL] [DOI]

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

    • Science of Computer Programming 97: 235–265 (2015) [DOI] [PDF draft]

    • Supersedes our SAC'13 paper.

15. 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) [DOI] [PDF]

    • Supersedes our ESOP'12 paper.

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

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

    • Logical Methods in Computer Science Vol. 8(4:13) 2012, pp. 1–7 [DOI]

    • Supersedes our FORTE/FMOODS'11 paper.

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

    • Information and Computation 209(2):198-226 (2011) [DOI]

    • Supersedes our LICS'08 paper.

18. Higher-Order Concurrency: Expressiveness and Decidability

    • Bulletin of the EATCS 101:92-124 (2010) [LINK]

    • This is a survey of the main results in my PhD Thesis

[International Conferences and Workshops. Full and Short Papers]

• Asynchronous Functional Sessions: Cyclic and Concurrent (with B. van den Heuvel)

  • EXPRESS/SOS'22 EPCTS, to appear. [DOI] [DRAFT]

• Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (with J. Paulus and D. Nantes-Sobrinho)

  • TYPES'21 (Post-proceedings) LIPIcs, Vol. 239. [DOI] [DRAFT@arxiv (with appendices)]

• Scalable Typestate Analysis for Low-Latency Environments (with A. Arslanagic and P. Subotic)

  • iFM'22 Springer LNCS, 13274. [DOI] [DRAFT@arxiv]

• Executable Semantics and Type Checking for Session-Based Concurrency in Maude (with C. Ramírez)

  • WRLA'22 Springer LNCS, 13252. [DOI] [DRAFT]

• Minimal Session Types for the pi-calculus (with A. Arslanagic and A. Palamariuc)

  • PPDP'21 ACM Press. [DOI] [DRAFT] [DRAFT@arxiv]

• Deadlock Freedom for Asynchronous and Cyclic Process Networks (with B. van den Heuvel)

  • ICE'21 EPCTS, Vol. 347. [DOI] [DRAFT]

• Non-Deterministic Functions as Non-Deterministic Processes (with J. Paulus and D. Nantes-Sobrinho)

  • FSCD'21 LIPIcs, Vol. 195. [DOI] [DRAFT@arxiv (with appendices)]

• Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols (with A. C. Keizer and H. Basold)

  • ESOP'21 Springer LNCS, Vol. 12648. [DOI] [DRAFT@arxiv (with appendices)]

• Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains (with M. Soelman, V. Andrikopoulos, V. Theodosiadis, K. Goense, and A. Rutjes)

  • DAPPS'20 IEEE [DOI]

• Session Type Systems based on Linear Logic: Classical versus Intuitionistic (with B. van den Heuvel)

  • PLACES'20 EPCTS, Vol. 314. [DOI] [DRAFT] [video]

• Domain-Aware Session Types (with L. Caires, F. Pfenning, and B. Toninho.)

  • CONCUR'19 LIPIcs, Vol. 140. [DOI] [DRAFT@arxiv (with appendices)]

• Minimal Session Types (with A. Arslanagic and E. Voogd)

  • ECOOP'19 LIPIcs, Vol. 134. [DOI] [DRAFT@arxiv (with appendices)] [artifact] [video]

• Reversible Choreographies in Haskell (with F. de Vries)

  • TFP'18 Springer LNCS, Vol. 11457. [DOI] [DRAFT]

• Relating Process Languages for Security and Communication Correctness (Extended Abstract) (with D. Nantes-Sobrinho)

  • FORTE'18 Springer LNCS, to appear. [DOI] [DRAFT (with appendices)]

• Linearity, Control Effects, and Behavioural Types (with L. Caires)

  • ESOP'17 Springer LNCS, Vol. 10201. [DOI] [DRAFT] [DRAFT (with appendices)]

• Causally Consistent Reversible Choreographies (with C. Mezzina)

  • PPDP'17 ACM Press. [DOI] [DRAFT] [DRAFT@arXiv (March 2017)]

• Session-Based Concurrency, Reactively (with J. Arias and M. Cano)

  • FORTE'17 Springer LNCS, Vol. 10321. [DOI] [DRAFT] [DRAFT (with appendices)]

  • Supersedes a draft entitled "A Reactive Interpretation of Session-Based Concurrency'' [DRAFT], presented at ICTCS'16 (see below) - REBLS'16 (co-located with SPLASH'16) - BETTY Final Meeting (October 6-7, 2016)

• Efficient Compensation Handling via Subjective Updates (with J. Dedeić and J. Pantović)

  • SAC'17 (CASM track) ACM Press. [DOI] [DRAFT]

• Towards A Practical Model of Reactive Communication-Centric Software (with J. Arias and M. Cano)

  • ICTCS'16 Short communication - CEUR Workshop Proceedings, Vol 1720, 227 - 233 [URL] [DRAFT]

• Multiparty Session Types Within A Canonical Binary Theory, and Beyond (with L. Caires)

  • FORTE'16 Springer LNCS, Vol. 9688. [DOI] [DRAFT] [DRAFT (with proofs)]

• The Challenge of Typed Expressiveness in Concurrency

  • FORTE'16 Springer LNCS, Vol. 9688. [DOI] [DRAFT]

  • This is a short position paper; comments are most welcome.

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

  • ESOP'16 Springer LNCS, Vol. 9632. [DOI] [DRAFT]

  • More details in the dedicated page.

• Reversible Sessions Using Monitors (with C. Mezzina)

  • PLACES'16 EPCTS, Vol. 211. [DOI] [DRAFT]

• Comparing Deadlock-Free Session Typed Processes (with O. Dardha)

  • EXPRESS/SOS'15 EPCTS, Vol. 190. [DOI]. [DRAFT] (with proofs).

• On Compensation Primitives as Adaptable Processes (with J. Dedeić and J. Pantović)

  • EXPRESS/SOS'15 EPCTS, Vol. 190. [DOI] [DRAFT] [DRAFT (with proofs)]

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

  • CONCUR'15 LIPIcs, Vol. 42. [DOI] [DRAFT] More details in the dedicated page.

• Declarative Interpretations of Session-Based Concurrency (with M. Cano, H. Lopez, and C. Rueda)

  • PPDP'15 ACM Press. [DOI] [DRAFT]

• A Typed Model for Dynamic Authorizations (with S. Ghilezan, S. Jaksic, J. Pantovic, and H. T. Vieira)

  • PLACES'15 EPCTS, Vol 203. [DOI] [DRAFT]

• Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective (with M. Dezani-Ciancaglini, and I. Castellani)

  • BEAT'14 EPCTS, Vol. 162. [DOI] [DRAFT]

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

  • BEAT'14 EPCTS, Vol. 162. [DOI] [DRAFT]

• An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems (with C. Di Giusto)

  • WS-FM'14 Springer LNCS, Vol. 9421. [DOI] [DRAFT (with proofs)] [HAL]

• Towards Global and Local Types for Adaptation (with M. Bravetti, M. Carbone, I. Lanese, T. Hildebrandt, J. Mauro and G. Zavattaro.)

  • BEAT 2. Springer LNCS, Vol. 8368. [DOI] [PDF]

• Towards Formal Interaction-based Models of Grid Computing Infrastructures (with C. Ramirez, J. Aranda, and J. F. Diaz.)

  • DCM'13. EPTCS, Vol. 144. [DOI] [PDF]

  • The full model overviewed in this paper can be found here.

• Behavioral Polymorphism and Parametricity in Session-Based Communication (with L. Caires, F. Pfenning, and B. Toninho.)

  • ESOP'13. Springer LNCS, Vol. 7792. [DOI] [PDF] [Slides]

• Session Types with Runtime Adaptation: Overview and Examples (with C. Di Giusto)

  • PLACES'13 (Slides). EPTCS, Vol. 137. [DOI] [PDF] This the post-proceedings version.

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

  • SAC'13 (SOAP track) ACM Press. [DOI] [PDF] [PDF extended version] (01/03/2014)

• Towards the Verification of Adaptable Processes (with M. Bravetti, C. Di Giusto, and G. Zavattaro)

  • ISoLA'12. Springer LNCS, Vol. 7609. [DOI] [PDF]

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

  • ESOP'12 Springer LNCS, Vol. 7211. [DOI] [PDF] (Extended version superseded by I&C journal version.) Slides

  • [This paper supersedes a draft entitled "Termination in Session-Based Concurrency via Linear Logical Relations"]

• Adaptable Processes (Extended Abstract) (with M. Bravetti, C. Di Giusto, and G. Zavattaro)

  • FMOODS-FORTE'11. Springer LNCS, Vol. 6722. [DOI] [PDF] - see here for more details.

• Type-Based Access Control for Data-Centric Systems (with L. Caires, J. Seco, H. T. Vieira, and L. Ferrão)

  • ESOP'11. Springer LNCS, Vol. 6602. [DOI] [PDF].

• Steps on the Road to Component Evolvability (with M. Bravetti, C. Di Giusto, and G. Zavattaro)

  • FACS'10. Springer LNCS, Vol. 6921. [DOI] [PDF]

• Time and Exceptional Behavior in Multiparty Structured Interactions (with H. A. Lopez)

  • WS-FM'11. Springer LNCS, Vol. 7176. [DOI] [PDF]

• On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (with I. Lanese, D. Sangiorgi and A. Schmitt)

  • ICALP'10. Springer LNCS, Vol. 6199. [DOI] [PDF]

• An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems (with J. Aranda, G. Assayag, C. Olarte, C. Rueda, M. Toro, and F. Valencia)

  • ICLP'09. Springer LNCS, Vol. 5649. [DOI] [PDF]

• On the Expressiveness of Forwarding in Higher-Order Communication (with C. Di Giusto and G. Zavattaro)

  • ICTAC'09. Springer LNCS, Vol. 5684. [DOI] [PDF]. A long version with proofs (34pp): [PDF]. Slides: [PDF]. More info see HERE

• Towards a Unified Framework for Declarative Structured Communications (with H. A. Lopez and C. Olarte)

  • PLACES'09. EPTCS, Vol 17, pp. 1-16. [DOI] [PDF]

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

  • LICS'08. IEEE Computer Society, 2008. [DOI] More information (abstract, long version with proofs) HERE

• Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (with J. Aranda, C. Rueda and F. Valencia)

  • ICLP'08. Springer LNCS, Vol. 5366. [DOI] [PDF]

• Non-determinism and Probabilities in Timed Concurrent Constraint Programming (with C. Rueda)

  • ICLP'08. Springer LNCS, Vol. 5366. [DOI] [PDF]. An extended version (20pp), with examples: [PDF]

• Timed Concurrent Constraint Programming for Analysing Biological Systems (with J. Gutiérrez, C. Rueda and F. Valencia)

  • MeCBIC'06. Electronic Notes in Theoretical Computer Science (ENTCS), Vol 171/2 pp 117-137. Elsevier, 2007. [DOI] [PDF]

• A Declarative Framework for Security: Secure Concurrent Constraint Programming (Poster) (with H. López, C. Palamidessi, C. Rueda and F. Valencia).

  • ICLP'06. Springer LNCS, Vol. 4079. [DOI] [PDF]

• Implementing an Abstraction Scheme for Soft Constraints (with A. Delgado and C. Rueda)

  • SARA 2005. Springer LNCS, Vol. 3607. [DOI] [PDF]

• Implementing Semiring-Based Constraints using Mozart (with A. Delgado, C. Olarte and C. Rueda)

  • MOZ 2004. Springer LNCS, Vol. 3389. [DOI] [PDF]

• An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine (with A. Delgado, G. Pabon, R. Jordan, C. Rueda and J.F. Di­az.)

  • MOZ 2004. Springer LNCS, Vol. 3389. [DOI] [PDF]

• A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions (with L. Caires) [DRAFT] [DRAFT@arXiv]

  • Some public presentations related to this work:

    • OPCT'14 (18/06/14) with the title "Bridging the Gap between Binary and Multiparty Communications" [SLIDES]

    • BETTY meeting (13/04/2014) with the title "Relating Multiparty and Binary Session Types via Linear Logic"

• Logical Foundations for Domain-Aware Concurrency (with L. Caires, F. Pfenning, and B. Toninho) [DRAFT]

  • Presented at MSC'14 (12/02/2014) and at Comete-Parsifal seminar - LIX, Ecole Polytechnique (7/11/2013)

  • Superseded by our CONCUR'19 paper (see below)

• Multiparty Reactive Sessions (with M. Cano, I. Castellani, and C. Di Giusto)

  • [INRIA TR@HAL]

• 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.)

  • Technical Report CMU-CS-12-108, April 2012. Click here for a draft.

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

  • Technical Report UBLCS-2010-07, May 2010. [PDF]

• 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

• Towards a Behavioral Type System for Reconfigurable Systems (with K. Suenaga)

  • The 22nd Nordic Workshop on Programming Theory - NWPT '10, 10-12 November 2010, Turku, Finland

• Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi (with C. Di Giusto)

  • The 11th Italian Conference on Theoretical Computer Science - ICTCS'09, 28-29 September 2009, Cremona, Italy

• Languages for Concurrency Featuring Quantitative Information: An Overview and New Perspectives (with J. Aranda)

  • Newsletter of the ALP, Vol 22 n.1. March 2009. DOWNLOAD draft as PDF

• Process Calculi to Analyze Emerging Applications in Concurrency (with A. Arbeláez, A Aristizabal, J. Gutiérrez, H. A. Lopez, C. Rueda and F. Valencia)

  • Unpublished manuscript. DOWNLOAD draft as PDF.

• Timed Concurrent Constraint Programming in Systems Biology (with A. Arbeláez and J. Gutiérrez).

  • Newsletter of the ALP, Vol. 19 n. 4, November/December 2006. DOWNLOAD draft as PDF.

• Modelling Biological Systems using Process Calculi (In Spanish, with J. Gutierrez and C. Rueda.)

  • Epiciclos Journal, Vol. 4 (1), 79-101. (2005). ISSN: 1657-5636. DOWNLOAD draft as PDF

• Semiring-based Fuzzy Constraints in Concurrent Constraint Programming (with A. Delgado, C. Olarte and C. Rueda.)

  • XXXI Latin American Computing Conference (CLEI 2005). ISBN: 958-670-426-2. ©CLEI, 2005. PDF

• Implementing Semiring-Based Constraints using a Concurrent Constraint Programming Language (with A. Delgado, C. Olarte and C. Rueda).

  • Sixth International Workshop on Preferences and Soft Constraints. Part of CP 2004. September 2004. PDF