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]

Authors

Étienne André

This author has not been identified. Look up 'Étienne André' in Google

Shang-Wei Lin

This author has not been identified. Look up 'Shang-Wei Lin' in Google