A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract).

Volker Diekert, Paul Gastin

Browse the full ICALP paper archive.