The language preservation problem is undecidable for parametric event-recording automata

Étienne André, Shang-Wei Lin. The language preservation problem is undecidable for parametric event-recording automata. Inf. Process. Lett., 136:17-20, 2018. [doi]

Abstract

Abstract is missing.