Pure future local temporal logics are expressively complete for Mazurkiewicz traces (2006)

by Volker Diekert , Paul Gastin
Citations:16 - 10 self