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…