Characterizations of the Decidability of Some Problems for Regular Trace Languages

IJsbrand Jan Aalbersberg, Hendrik Jan Hoogeboom. Characterizations of the Decidability of Some Problems for Regular Trace Languages. Theory Comput. Syst., 22(1):1-19, 1989.

Abstract

Abstract is missing.