Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages

Bharat Adsul, Paul Gastin, Shantanu Kulkarni +1

We propose a local, past-oriented fragment of propositional dynamic logic to reason about concurrent scenarios modelled as Mazurkiewicz traces, and prove it to be expressively comp…