3 papers
cs.LO2025
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
Ludovico Fusco, Alessandro Aldini
We address the problem of identifying a proof-theoretic framework that enables a compositional analysis of finite-trace properties in concurrent systems, with a particular focus on…
cs.CR2025
Privacy-preserving and reward-based mechanisms of proof of engagement
Matteo Marco Montanari, Alessandro Aldini
Proof-of-Attendance (PoA) mechanisms are typically employed to demonstrate a specific user's participation in an event, whether virtual or in-person. The goal of this study is to e…
cs.AI2025
A process algebraic framework for multi-agent dynamic epistemic systems
Alessandro Aldini
This paper combines the classical model of labeled transition systems with the epistemic model for reasoning about knowledge. The result is a unifying framework for modeling and an…