A. Arnold, A. Vincent, and I. Walukiewicz, Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.303, issue.1, pp.7-34, 2003.
DOI : 10.1016/S0304-3975(02)00442-5

[. El-fakih, N. Yevtushenko, S. Buffalov, and G. Von-bochmann, Progressive solutions to a parallel automata equation, Theoretical Computer Science, vol.362, issue.1-3, pp.1-317, 2006.
DOI : 10.1016/j.tcs.2006.05.034

G. Feuillade and S. Pinchinat, Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dynamic Systems, vol.77, issue.4, 2006.
DOI : 10.1007/s10626-006-0008-6
URL : https://hal.archives-ouvertes.fr/inria-00555754

M. Hennessy, Acceptance trees, Journal of the ACM, vol.32, issue.4, pp.896-928, 1985.
DOI : 10.1145/4221.4249

[. Kumar, S. Nelvagal, and S. I. Marcus, A discrete event systems approach for protocol conversion, pp.295-315, 1997.

[. Larsen, Modal specifications, Automatic Verification Methods for Finite State Systems, pp.232-246, 1989.
DOI : 10.1007/3-540-52148-8_19

[. Larsen and L. Xinxin, Equation solving using modal transition systems, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.108-117, 1990.
DOI : 10.1109/LICS.1990.113738

[. Merlin and G. Von-bochmann, On the Construction of Submodule Specifications and Communication Protocols, ACM Transactions on Programming Languages and Systems, vol.5, issue.1, pp.1-25, 1983.
DOI : 10.1145/357195.357196

J. Parrow, Submodule construction as equation solving in CCS, Theoretical Computer Science, vol.68, issue.2, pp.175-202, 1987.
DOI : 10.1016/0304-3975(89)90128-X

I. Passerone, T. A. Luca-de-alfaro, A. Henzinger, and . Sangiovanni-vincentelli, Convertibility verification and converter synthesis, Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design , ICCAD '02, 2002.
DOI : 10.1145/774572.774592

T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-vincentelli, Solution of parallel language equations for logic synthesis, Proceedings of the International Conference on Computer-Aided Design, pp.103-110, 2001.

I. Unité-de-recherche and I. Rennes, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.