zbMATH — the first resource for mathematics

A hierarchy of regular trace languages and some combinatorial applications. (English) Zbl 0512.68056
Mathematics at the service of man, Proc. 2nd World Conf., Las Palmas/Spain 1982, 146-153 (1982).

68Q45 Formal languages and automata
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)