The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version). - Frank Schüssele; Matthias Zumkeller; Miriam Lagunes-Rochin; Dominik Klumpp (CoRR, 2025)

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs. - Frank Schüssele; Matthias Zumkeller; Miriam Lagunes-Rochin; Dominik Klumpp (Proc. ACM Program. Lang., 2026)