LTL is expressively complete for Mazurkiewicz Traces (2000)

by Volker Diekert , Paul Gastin
Citations:19 - 8 self