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

• Authors:

• Volker Diekert;Paul Gastin

• Affiliations:

• -;-

• Venue:
• ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
• Year:
• 1995