Equivalence and membership problems for regular trace languages. (English) Zbl 0486.68079

Bertoni, A.; Mauri, G.; Sabadini, N.

Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 61-71 (1982).

MSC:

68Q45	Formal languages and automata
68Q25	Analysis of algorithms and problem complexity
68R10	Graph theory (including graph drawing) in computer science
20M35	Semigroups in automata theory, linguistics, etc.

Keywords:

decidability; behaviour of concurrent systems; free partially commutative monoid; concurrent alphabet; membership problem; equivalence problem

Citations:

Zbl 0477.00027