Karima Ennaoui. Computational aspects of infinite automata simulation and closure system related issues. (Aspects de complexité du problème de composition des services web). PhD thesis, University of Clermont Auvergne, France, 2017. [doi]
Abstract is missing.