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

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

K. Larsen, Modal specifications In Automatic Verification Methods for Finite State Systems, pp.232-246, 1989.

K. 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

P. 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

[. 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

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