Equivalence and Membership Problems for Regular Trace Languages.

Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini

Browse the full ICALP paper archive.