Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata

Tushant Jha, Walid Belkhir, Yannick Chevalier, Michaƫl Rusinowitch. Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. In Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam, editors, Service-Oriented Computing - ICSOC 2015 Workshops - WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers. Volume 9586 of Lecture Notes in Computer Science, pages 145-156, Springer, 2015. [doi]

Abstract

Abstract is missing.