An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications. - Bharat Adsul; Paul Gastin; Shantanu Kulkarni; Pascal Weil (LICS, 2024)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages. - Bharat Adsul; Paul Gastin; Shantanu Kulkarni; Pascal Weil (CoRR, 2024)

Characterizations of Fragments of Temporal Logic over Mazurkiewicz Traces. - Bharat Adsul; Paul Gastin; Shantanu Kulkarni (CONCUR, 2025)