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]

Authors

Tushant Jha

This author has not been identified. Look up 'Tushant Jha' in Google

Walid Belkhir

This author has not been identified. Look up 'Walid Belkhir' in Google

Yannick Chevalier

This author has not been identified. Look up 'Yannick Chevalier' in Google

Michaël Rusinowitch

This author has not been identified. Look up 'Michaël Rusinowitch' in Google