Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces.

Volker Diekert, Paul Gastin

Browse the full LATIN paper archive.