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

Tushant Jha, Walid Belkhir, Yannick Chevalier, Michal Rusinowitch

Browse the full ICSOC paper archive.