Local LTL with past constants is expressively complete for Mazurkiewicz traces (2003)

by P Gastin, M Mukund, K Narayan Kumar
Venue:In Proc. of MFCS’03, number 2747 in LNCS