Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages.

Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil

Browse the full CONCUR paper archive.