Luca Ciccone

According to our database, Luca Ciccone authored at least 11 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Concerto Grosso for Sessions: Fair Termination of Sessions.

Luca Ciccone

CoRR, 2023

2022

Fair termination of binary sessions.

Luca Ciccone, Luca Padovani

Proc. ACM Program. Lang., 2022

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.

Luca Ciccone, Luca Padovani

Log. Methods Comput. Sci., 2022

Ain't No Stopping Us Monitoring Now.

Luca Ciccone, Francesco Dagnino, Angelo Ferrando

CoRR, 2022

Fair Termination of Multiparty Sessions.

Luca Ciccone, Francesco Dagnino, Luca Padovani

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.

Luca Ciccone, Luca Padovani

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Flexible Coinduction in Agda.

Luca Ciccone, Francesco Dagnino, Elena Zucca

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.

Luca Ciccone, Luca Padovani

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Flexible Coinduction in Agda.

Luca Ciccone

CoRR, 2020

A Dependently Typed Linear π-Calculus in Agda.

Luca Ciccone, Luca Padovani

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2019

Timed Trace Expressions.

Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi

Proceedings of the 34th Italian Conference on Computational Logic, 2019