G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

B. Boigelot, P. Godefroid, B. Willems, and P. Wolper, The power of QDDs, SAS '97: Proceedings of the 4th International Symposium on Static Analysis, pp.172-186, 1997.

A. Bouajjani and P. Habermehl, Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations, Theoretical Computer Science, vol.221, issue.1-2, pp.211-250, 1999.
DOI : 10.1016/S0304-3975(99)00033-X

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

T. Chatain, P. Gastin, and N. Sznajder, Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems, In SOFSEM LNCS, vol.2, issue.3, pp.141-152, 2009.
DOI : 10.1007/BFb0035790
URL : https://hal.archives-ouvertes.fr/hal-00772667

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynamical Systems: Theory and Applications, pp.33-79, 2000.

A. Finkel, S. P. Iyer, and G. Sutre, Well-abstracted transition systems: application to FIFO automata, Information and Computation, vol.181, issue.1, pp.1-31, 2003.
DOI : 10.1016/S0890-5401(02)00027-5
URL : http://doi.org/10.1016/s0890-5401(02)00027-5

B. Genest, On Implementation of Global Concurrent Systems with Local Asynchronous Controllers, In CONCUR LNCS, vol.3653, pp.443-457, 2005.
DOI : 10.1007/11539452_34

L. Hélouet, T. Gazagnaire, and B. Genest, Diagnosis from Scenarios, 2006 8th International Workshop on Discrete Event Systems, pp.307-312, 2006.
DOI : 10.1109/WODES.2006.1678447

A. Heußner, T. L. Gall, and G. Sutre, Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems, Proc. Model Checking Software, pp.107-124, 2009.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

T. , L. Gall, B. Jeannet, and T. Jéron, Verification of communication protocols using abstract interpretation of fifo queues, AMAST '06, 2006.

F. Lin, K. Rudie, and S. Lafortune, Minimal Communication for Essential Transitions in a Distributed Discrete-Event System, IEEE Transactions on Automatic Control, vol.52, issue.8, pp.521495-1502, 2007.
DOI : 10.1109/TAC.2007.902761

T. Massart, A calculus to define correct tranformations of lotos specifications, FORTE, volume C-2 of IFIP Transactions, pp.281-296, 1991.

F. Mattern, Virtual time and global states of distributed systems, Proceedings of the Workshop on Parallel and Distributed Algorithms, pp.215-226, 1989.

L. Ricker and B. Caillaud, Mind the gap: Expanding communication options in decentralized discrete-event control, 46th IEEE Conference on Decision and Control, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00654110

M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.852

S. Tripakis, Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication, IEEE Transactions on Automatic Control, vol.49, issue.9, pp.1489-1501, 2004.
DOI : 10.1109/TAC.2004.834116

S. Xu and R. Kumar, Distributed state estimation in discrete event systems, 2009 American Control Conference, pp.4735-4740, 2009.
DOI : 10.1109/ACC.2009.5160029