TY  - RPRT
TI  - A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
AU  - Ludovico Fusco
AU  - Alessandro Aldini
PY  - 2025
UR  - https://arxiv.org/abs/2512.03164
ID  - 2512.03164
ER  -