An expressively complete temporal logic without past tense operators for Mazurkiewicz traces (1999)

by V Diekert, P Gastin
Venue:Proceedings of the 13th Annual Conference of the European Association for Computer Science Logic (CSL'99), Lecture Notes in Computer Science 1683 (Springer-Verlag