Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.

Antonn Kucera

Browse the full SOFSEM paper archive.