3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…