2 citations · 2 across the 4 of their papers we have counts for
6 papers
Concerto Grosso for Sessions: Fair Termination of Sessions
Luca Ciccone
Sessions are a fundamental notion in message-passing systems. A session is an abstract notion of communication between parties where each one owns an endpoint. Session types are ty…
Ain't No Stopping Us Monitoring Now
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
Not all properties are monitorable. This is a well-known fact, and it means there exist properties that cannot be fully verified at runtime. However, given a non-monitorable proper…
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear -Calculus
Luca Ciccone, Luca Padovani
Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of…
Fair Termination of Multiparty Sessions
Luca Ciccone, Francesco Dagnino, Luca Padovani
There exists a broad family of multiparty sessions in which the progress of one session participant is not unconditional, but depends on the choices performed by other participants…
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
Luca Ciccone, Luca Padovani
Many properties of communication protocols combine safety and liveness aspects. Characterizing such combined properties by means of a single inference system is difficult because o…
Flexible Coinduction in Agda
Luca Ciccone
Theorem provers are tools that help users to write machine readable proofs. Some of this tools are also interactive. The need of such softwares is increasing since they provide pro…