An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces.

Paul Gastin, Madhavan Mukund

Browse the full ICALP paper archive.