An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications.

Bharat Adsul, Paul Gastin, Shantanu Kulkarni, Pascal Weil

Browse the full LICS paper archive.