2 citations · 2 across the 4 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022
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…
cs.LO2022
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…
cs.PL2022
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…