Recognizable and rational trace languages of finite and infinite traces (1991)

by P Gastin
Venue:Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science (STACS'91), Hamburg 1991, number 480 in Lecture Notes in Computer Science