2 papers
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.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…