Algebraic properties of the shuffle over omega-trajectories
Algebraic properties of a relation on omega-words based on the notion of shuffle over omega-trajectories are obtained. (C) 2001 Elsevier Science B.V. All rights reserved.
shuffle infinite word co-trajectory formal languages