The paper Fair Termination of Multiparty Sessions (Ciccone et al., 2022), written with Luca Ciccone and Francesco Dagnino, has been accepted at the 35th European Conference on Object-Oriented Programming (ECOOP 2022). This is a follow up of previous work (Ciccone & Padovani, 2022) in which we apply our technique ensuring fair termination to multiparty sessions. In this work we also present a new sound and complete characterization of fair subtyping which is substantially simpler than previous ones and does not require auxiliary definitions or the use of a generalized inference system.
Fair termination is a termination property weaker than strong termination but stronger than weak termination in which only the “fair” executions of a system are considered insofar as termination is concerned, whereas “unfair” executions are considered to be unrealistic. For a particular fairness assumption, it is possible to provide a sound and complete characterization of fair termination that does not mention fair executions. The FairTermination module is an Agda formalization of this notion of fair termination along with soundness and completeness proofs of its characterization.
I’m pleased to be a programme committee member of the 28th International Conference on Types for Proofs and Programs (TYPES 2022), looking forward to a bunch of exciting submissions and intriguiting talks by the invited speakers.
I'm an associate professor in Computer Science at the Computer Science Department of the University of Torino. ¶ My research interests lie in the areas of programming languages, type systems and concurrency theory. ¶ I'm the contact person of the FORMS research group on Formal Methods for Software Development.