An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.

P. S. Thiagarajan, Igor Walukiewicz

Browse the full LICS paper archive.