An expressively complete linear time temporal logic for Mazurkiewicz traces | IEEE Conference Publication | IEEE Xplore