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

by Volker Diekert , Paul Gastin
Citations:22 - 12 self