An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (0)

by P S Thiagarajan, I Walukiewicz
Venue:Inform. Computat