Characterizations of Fragments of Temporal Logic over Mazurkiewicz Traces.

Bharat Adsul, Paul Gastin, Shantanu Kulkarni

Browse the full CONCUR paper archive.