An expressively complete linear time temporal logic for Mazurkiewicz traces (1997)

by P S Thiagarajan, I Walukiewicz
Venue:In Proc. of LICS’97