Publications

• ACM SIGLOG News - Feature on "Conference Reports" [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]

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

  • Journal submission - October 2018 (revised January 2020). [DRAFT@arxiv]

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

  • [INRIA TR@HAL]

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

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

  • Information and Computation (In Press) [DRAFT] [DOI]

  • Supersedes our ESOP'16 paper

• 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

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

• 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

• 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

• 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

• 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]

• 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

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

• 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

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

• 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]

• Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains (with Mark Soelman, Vasilios Andrikopoulos, Vasileios Theodosiadis, Karel Goense, and Arne 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 Luís Caires, Frank Pfenning, and Bernardo Toninho.)

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

• Minimal Session Types (with Alen Arslanagic and Erik Voogd)

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

• Reversible Choreographies in Haskell (with Folkert 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]

• 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