An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces.

Volker Diekert, Paul Gastin

Browse the full CSL paper archive.