G. Barrett and S. Lafortune, Decentralized supervisory control with communicating controllers, IEEE Transactions on Automatic Control, vol.45, issue.9, pp.1620-1638, 2000.
DOI : 10.1109/9.880613

S. Bensalem, M. Bozga, S. Graf, D. Peled, and S. Quinton, Methods for Knowledge Based Controlling of Distributed Systems, ATVA'10, pp.52-66, 2010.
DOI : 10.1007/978-3-642-15643-4_6

URL : https://hal.archives-ouvertes.fr/hal-00557799

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.

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

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

P. Darondeau, Distributed implementations of Ramadge-Wonham supervisory control with Petri nets, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2107-2112, 2005.
DOI : 10.1109/CDC.2005.1582472

C. J. Fidge, Timestamps in message-passing systems that preserve the partial ordering, Proc. of the 11th Australian Computer Science Conference (ACSC'88), pp.56-66, 1988.

P. Gastin, N. Sznajder, and M. Zeitoun, Distributed synthesis for wellconnected architectures. Formal Methods in System Design, pp.215-237, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00306316

B. Gaudin and H. Marchand, An efficient modular method for the control of concurrent discrete event systems: A language-based approach. Discrete Event Dynamic System, pp.179-209, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00423795

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

A. Genon, . Th, C. Massart, and . Meuter, Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces, In FM Lecture Notes in Computer Science, vol.4085, pp.557-572, 2006.
DOI : 10.1007/11813040_37

K. Iraishi, On Solvability of a Decentralized Supervisory Control Problem With Communication, IEEE Transactions on Automatic Control, vol.54, issue.3, pp.468-480, 2009.
DOI : 10.1109/TAC.2009.2012974

C. Jard, T. Jéron, J. G. , and J. Rampon, A general approach to trace-checking in distributed computing systems, 14th International Conference on Distributed Computing Systems, pp.396-403, 1994.
DOI : 10.1109/ICDCS.1994.302443

URL : https://hal.archives-ouvertes.fr/inria-00074432

S. Jiang and R. Kumar, Decentralized control of discrete event systems with specializations to local control and concurrent systems, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, pp.653-660, 2000.
DOI : 10.1109/3477.875442

G. Kalyon, T. L. Gall, H. Marchand, and T. Massart, Symbolic Supervisory Control of Distributed Systems With Communications, IEEE Transactions on Automatic Control, vol.59, issue.2
DOI : 10.1109/TAC.2013.2283093

URL : https://hal.archives-ouvertes.fr/hal-00801840

G. Kalyon, T. L. Gall, H. Marchand, and T. Massart, Global State Estimates for Distributed Systems, 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, pp.198-212, 2011.
DOI : 10.1109/TAC.2004.834116

URL : https://hal.archives-ouvertes.fr/inria-00581259

G. Kalyon, T. L. Gall, H. Marchand, and T. Massart, Synthesis of communicating controllers for distributed systems, IEEE Conference on Decision and Control and European Control Conference, 2011.
DOI : 10.1109/CDC.2011.6160584

URL : https://hal.archives-ouvertes.fr/inria-00627574

G. Kalyon, . Th, C. Massart, L. Meuter, and . Van-begin, Testing Distributed Systems Through Symbolic Model Checking, LNCS, vol.7, issue.12, pp.263-279, 2007.
DOI : 10.1109/DCC.1995.515538

J. Komenda and J. H. Van-schuppen, Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2775-2780, 2005.
DOI : 10.1109/CDC.2005.1582583

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, 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, 2006.

S. Lee and K. C. Wong, Structural decentralized control of concurrent discrete-event systems, European Journal of Control, vol.8, issue.5, 2002.

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.1495-1502, 2007.
DOI : 10.1109/TAC.2007.902761

J. C. Martin, Introduction to Languages and the Theory of Computation, 1997.

. Th and . 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.

A. W. Mazurkiewicz, Trace theory, Advances in Petri Nets, pp.279-324, 1986.
DOI : 10.1007/3-540-17906-2_30

. Mcscm, Model Checker for Symbolic Communicating Machines version 1.2. http://altarica.labri.fr/forge

A. Muscholl and I. Walukiewicz, A lower bound on web services composition, FOSSACS'07, pp.274-286, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00306329

W. Peng and S. Puroshothaman, Data flow analysis of communicating finite state machines, ACM Transactions on Programming Languages and Systems, vol.13, issue.3, pp.399-442, 1991.
DOI : 10.1145/117009.117015

A. Pnueli and R. Rosner, Distributed reactive systems are hard to synthesize, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science, pp.746-757, 1990.
DOI : 10.1109/FSCS.1990.89597

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

K. Ricker and L. Rudie, Know means no: Incorporating knowledge into discrete-event control systems, IEEE Transactions on Automatic Control, vol.45, issue.9, pp.1656-1668, 2000.
DOI : 10.1109/9.880616

K. Rudie and W. M. Wonham, Think globally, act locally: decentralized supervisory control, IEEE Transactions on Automatic Control, vol.37, issue.11, pp.311692-1708, 1992.
DOI : 10.1109/9.173140

A. Sen and V. K. Garg, Detecting temporal logic predicates on the happened-before model, Proceedings 16th International Parallel and Distributed Processing Symposium, 2002.
DOI : 10.1109/IPDPS.2002.1015583

A. Tarski, A lattice-theoretical fixpoint theorem and its applications [38] S. Tripakis. Decentralized control of discrete event systems with bounded or unbounded delay communication, Pacific Journal of Mathematics IEEE Trans. on Automatic Control, vol.5, issue.499, pp.285-3091489, 1955.

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

T. Yoo and S. Lafortune, A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems, Proc of 5th Workshop on Discrete Event Systems, 2000.
DOI : 10.1007/978-1-4615-4493-7_11