C. ?cp-=-0ms and .. , Simulation of a diffusing computation on a 5 × 5 torus. t inter = 10ms, p.163

C. ?cp-=-0ms and .. , Simulation of a diffusing computation on a 5 × 5 torus, t inter = 10ms, p.163

C. ?cp-=-1ms and .. , Simulation of a diffusing computation on a 5 × 5 torus, t inter = 100ms, p.164

. .. Master, Slave: messages per interaction, standard version, p.184

. Master, Slave: messages per interaction, optimized version, p.184

]. T. Abdellatif, J. Combaz, and J. Sifakis, Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.229-238, 2010.
DOI : 10.1145/1879021.1879052

M. Ajtai, J. Komlós, and E. Szemerédi, Sorting inc logn parallel steps, Combinatorica, vol.3, issue.1, pp.1-19, 1983.
DOI : 10.1007/BF02579338

K. R. Apt, N. Francez, and S. Katz, Appraising fairness in distributed languages, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.189-198, 1987.
DOI : 10.1145/41625.41642

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

R. Bagrodia, A distributed algorithm to implement n-party rendevouz, Foundations of Software Technology and Theoretical Computer Science, Seventh Conference (FSTTCS), pp.138-152, 1987.

R. Bagrodia, Process synchronization: design and performance evaluation of distributed algorithms, IEEE Transactions on Software Engineering, vol.15, issue.9, pp.1053-1065, 1989.
DOI : 10.1109/32.31364

J. Barwise, Scenes and Other Situations, The Journal of Philosophy, vol.78, issue.7, pp.369-397, 1981.
DOI : 10.2307/2026481

A. Basu, S. Bensalem, D. Peled, and J. Sifakis, Priority scheduling of distributed systems based on model checking. Formal Methods in System Design, pp.229-245, 2011.

A. Basu, P. Bidinger, M. Bozga, and J. Sifakis, Distributed Semantics and Implementation for Systems with Interaction and Priority, Formal Techniques for Networked and Distributed Systems (FORTE), pp.116-133, 2008.
DOI : 10.1007/978-3-540-30101-1_15

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

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27

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

A. Basu, Component-based Modeling of Heterogeneous Real-time Systems in BIP, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00527491

A. Basu, S. Bensalem, D. Peled, and J. Sifakis, Priority Scheduling of Distributed Systems Based on Model Checking, Computer Aided Verification, pp.79-93, 2009.
DOI : 10.1007/978-3-642-02658-4_10

A. Basu, L. Mounier, M. Poulhì-es, J. Pulou, and J. Sifakis, Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), pp.257-260, 2007.
DOI : 10.1109/NCA.2007.52

K. E. Batcher, Sorting networks and their applications, Proceedings of the April 30--May 2, 1968, spring joint computer conference on, AFIPS '68 (Spring), pp.307-314, 1968.
DOI : 10.1145/1468075.1468121

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.6690

S. Bensalem, M. Bozga, A. Legay, T. Nguyen, J. Sifakis et al., Incremental component-based construction and verification using invariants, In Formal Methods in Computer-Aided Design, pp.257-256, 2010.
DOI : 10.1007/s10270-014-0410-8

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

S. Bensalem, M. Bozga, D. Peled, and J. Quilbeuf, Knoweldge-based transactional behavior, HVC, 2012.
DOI : 10.1007/978-3-642-39611-3_10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.1228

S. Bensalem, M. Bozga, J. Quilbeuf, and J. Sifakis, Optimized distributed implementation of multiparty interactions with observation, Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! '12, 2012.
DOI : 10.1145/2414639.2414649

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

S. Bensalem, M. Bozga, B. Delahaye, C. Jegourel, A. Legay et al., Statistical Model Checking QoS Properties of Systems with SBIP, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, pp.327-341, 2012.
DOI : 10.1007/978-3-642-34026-0_25

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

S. Bensalem, M. Bozga, S. Graf, D. Peled, and S. Quinton, Methods for Knowledge Based Controlling of Distributed Systems, Proceedings of the 8th international conference on Automated technology for verification and analysis, ATVA'10, pp.52-66, 2010.
DOI : 10.1007/978-3-642-15643-4_6

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

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, D-Finder: A Tool for Compositional Deadlock Detection and Verification, CAV, pp.614-619, 2009.
DOI : 10.1007/978-3-642-02658-4_45

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

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, Compositional verification for component-based systems and application, IET Software, vol.4, issue.3, pp.181-193, 2010.
DOI : 10.1049/iet-sen.2009.0011

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

S. Bliudze and J. Sifakis, The Algebra of Connectors—Structuring Interaction in BIP, IEEE Transactions on Computers, vol.57, issue.10, pp.1315-1330, 2008.
DOI : 10.1109/TC.2008.26

S. Bliudze and J. Sifakis, A Notion of Glue Expressiveness for Component-Based Systems, In CONCUR, pp.508-522, 2008.
DOI : 10.1007/978-3-540-85361-9_39

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, Automated conflict-free distributed implementation of component-based models, International Symposium on Industrial Embedded System (SIES), pp.108-117, 2010.
DOI : 10.1109/SIES.2010.5551377

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

M. Bonani, V. Longchamp, S. Magnenat, P. Rétornaz, D. Burnier et al., The marXbot, a miniature mobile robot opening new perspectives for the collective-robotic research, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.4187-4193, 2010.
DOI : 10.1109/IROS.2010.5649153

S. Bornot and J. Sifakis, An Algebraic Framework for Urgency, Information and Computation, vol.163, issue.1, pp.172-202, 2000.
DOI : 10.1006/inco.2000.2999

URL : http://doi.org/10.1006/inco.2000.2999

P. Bourgos, A. Basu, M. Bozga, S. Bensalem, J. Sifakis et al., Rigorous system level modeling and analysis of mixed HW/SW systems, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), pp.11-20, 2011.
DOI : 10.1109/MEMCOD.2011.5970506

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

M. Bozga, Component-based design of real-time systems, HabilitationàHabilitationà Diriger des Recherches, 2009.

M. Bozga, M. Jaber, N. Maris, and J. Sifakis, Modeling Dynamic Architectures Using Dy-BIP, Proceedings of the 11th international conference on Software Composition , SC'12, pp.1-16, 2012.
DOI : 10.1007/978-3-642-30564-1_1

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

M. Bozga, M. Jaber, and J. Sifakis, Source-to-Source Architecture Transformation for Performance Optimization in BIP, IEEE Transactions on Industrial Informatics, vol.6, issue.4, pp.708-718, 2010.
DOI : 10.1109/TII.2010.2069102

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

M. D. Bozga, V. Sfyrla, and J. Sifakis, Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.77-86, 2009.
DOI : 10.1145/1629335.1629347

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

K. M. Chandy and J. Misra, The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984.
DOI : 10.1145/1780.1804

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.5295

K. M. Chandy and J. Misra, Parallel Program Design, 1988.
DOI : 10.1007/978-1-4613-9668-0_6

C. Cheng, S. Bensalem, Y. Chen, R. Yan, B. Jobstmann et al., Algorithms for Synthesizing Priorities in Component-Based Systems, ATVA, pp.150-167, 2011.
DOI : 10.1007/978-3-642-24372-1_12

M. Y. Chkouri, A. Robert, M. Bozga, and J. Sifakis, Models in software engineering. chapter Translating AADL into BIP -Application to the Verification of Real-Time Systems, pp.5-19, 2009.

F. Chu and X. Xie, Deadlock analysis of petri nets using siphons and mathematical programming Robotics and Automation, IEEE Transactions on, vol.13, issue.6, pp.793-804, 1997.

S. Cotton, O. Maler, J. Legriel, and S. Saidi, Multi-criteria optimization for mapping programs to multi-processors, 2011 6th IEEE International Symposium on Industrial and Embedded Systems, pp.9-17, 2011.
DOI : 10.1109/SIES.2011.5953650

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.473.9718

E. W. Dijkstra and C. S. Scholten, Termination detection for diffusing computations, Information Processing Letters, vol.11, issue.1, pp.1-4, 1980.
DOI : 10.1016/0020-0190(80)90021-6

P. Dinges and G. Agha, Scoped Synchronization Constraints for Large Scale Actor Systems, Proceedings of the 14th international conference on Coordination Models and Languages, COORDINATION'12, pp.89-103, 2012.
DOI : 10.1007/978-3-642-30829-1_7

R. Fagin, J. Y. Halpern, Y. Moses, and V. M. , Reasoning about Knowledge, 1995.

M. P. Forum, MPI: A Message-Passing Interface Standard, Version 3, High Performance Computing Center Stuttgart (HLRS), 2012.

S. Frølund and G. Agha, A Language Framework for Multi-Object Coordination, Proceedings of ECOOP, pp.346-360, 1993.
DOI : 10.1007/3-540-47910-4_18

E. Gabriel, G. E. Fagg, G. Bosilca, T. Angskun, J. J. Dongarra et al., Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation, Proceedings, 11th European PVM/MPI Users' Group Meeting, pp.97-104, 2004.
DOI : 10.1007/978-3-540-30218-6_19

S. J. Garland and N. Lynch, Foundations of component-based systems. chapter Using I/O automata for developing distributed systems, pp.285-312, 2000.

C. Georgiou, N. Lynch, P. Mavrommatis, and J. Tauber, Automated implementation of complex distributed algorithms specified in the IOA language, International Journal on Software Tools for Technology Transfer, vol.21, issue.9, pp.153-171, 2009.
DOI : 10.1007/s10009-008-0097-7

S. M. German, Programming in a general model of synchronization, Lecture Notes in Computer Science, vol.630, pp.534-549, 1992.
DOI : 10.1007/BFb0084814

S. Gorlatch, Send-receive considered harmful, ACM Transactions on Programming Languages and Systems, vol.26, issue.1, pp.47-56, 2004.
DOI : 10.1145/963778.963780

S. Graf, D. Peled, and S. Quinton, Achieving distributed control through model checking, Formal Methods in System Design, vol.12, issue.3, pp.263-281, 2012.
DOI : 10.1007/s10703-011-0138-9

I. B. Hafaiedh, S. Graf, and S. Quinton, Building distributed controllers for systems with priorities, J. Log. Algebr. Program, vol.80, pp.3-5194, 2011.

J. Y. Halpern and R. Fagin, Modelling knowledge and action in distributed systems, Distributed Computing, vol.4, issue.4, pp.159-177, 1989.
DOI : 10.1007/BF01784885

J. Y. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM, vol.37, issue.3, pp.549-587, 1990.
DOI : 10.1145/79147.79161

C. A. Hoare, Communicating sequential processes, 1985.

I. Iec, Information Processing Systems ? Open Systems Interconnection: LO- TOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behavior, 1989.

M. Jaber, Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00531082

Y. Joung, Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability, Theoretical Computer Science, vol.243, issue.1-2, pp.307-338, 2000.
DOI : 10.1016/S0304-3975(98)00224-2

URL : http://doi.org/10.1016/s0304-3975(98)00224-2

Y. Joung and S. A. Smolka, A comprehensive study of the complexity of multiparty interaction, Journal of the ACM, vol.43, issue.1, pp.75-115, 1996.
DOI : 10.1145/227595.227601

Y. Jzer-joung and S. A. Smolka, Coordinating first-order multiparty interactions, ACM Transactions on Programming Languages and Systems, pp.209-220, 1994.

G. Katz and D. Peled, Code Mutation in Verification and Automatic Code Correction, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp.435-450, 2010.
DOI : 10.1007/978-3-642-12002-2_36

S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi, Optimization by Simulated Annealing, Science, vol.220, issue.4598, pp.671-680, 1983.
DOI : 10.1126/science.220.4598.671

F. Krückeberg and M. Jaxy, Mathematical methods for calculating invariants in Petri nets, Advances in Petri Nets, pp.104-131, 1987.
DOI : 10.1007/3-540-18086-9_22

D. Kumar, An implementation of N-party synchronization using tokens, Proceedings.,10th International Conference on Distributed Computing Systems, pp.320-327, 1990.
DOI : 10.1109/ICDCS.1990.89299

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

N. A. Lynch and M. R. Tuttle, An introduction to input/output automata, 1988.

S. Magnenat, P. Rétornaz, M. Bonani, V. Longchamp, and F. Mondada, ASEBA: A Modular Architecture for Event-Based Control of Complex Robots, IEEE/ASME Transactions on Mechatronics, vol.16, issue.2, pp.321-329, 2011.
DOI : 10.1109/TMECH.2010.2042722

A. Marron, G. Weiss, and G. Wiener, A decentralized approach for programming interactive applications with JavaScript and blockly, Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! '12, pp.59-70, 2012.
DOI : 10.1145/2414639.2414648

R. Milner, Communication and concurrency, 1995.

R. Milner, A calculus of communicating systems, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, pp.267-310, 1983.
DOI : 10.1016/0304-3975(83)90114-7

URL : http://doi.org/10.1016/0304-3975(83)90114-7

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

J. Parrow and P. Sjödin, Multiway synchronizaton verified with coupled simulation, International Conference on Concurrency Theory (CONCUR), pp.518-533, 1992.
DOI : 10.1007/bfb0084813

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2496

Z. Pawlak and A. Skowron, Rudiments of rough sets, Information Sciences, vol.177, issue.1, pp.3-27, 2007.
DOI : 10.1016/j.ins.2006.06.003

J. A. Pérez, R. Corchuelo, D. Ruiz, and M. Toro, An enablement detection algorithm for open multiparty interactions, Proceedings of the 2002 ACM symposium on Applied computing , SAC '02, pp.378-384, 2002.
DOI : 10.1145/508791.508863

J. A. Pérez, R. Corchuelo, and M. Toro, An order-based algorithm for implementing multiparty synchronization. Concurrency and Computation: Practice and Experience, pp.1173-1206, 2004.

J. Proença, Synchronous Coordination of Distributed Components, 2011.

J. Proença, D. Clarke, E. De-vink, and F. Arbab, Dreams, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1510-1515
DOI : 10.1145/2245276.2232017

K. Rajan, S. Rajamani, and S. Yaduvanshi, Guesstimate: a programming model for collaborative distributed systems, Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation, PLDI '10, pp.210-220, 2010.

S. Ricker and K. 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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.7802

V. Sfyrla, Modeling Synchronous Systems in BIP, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722479

V. Sfyrla, G. Tsiligiannis, I. Safaka, M. Bozga, and J. Sifakis, Compositional translation of simulink models into synchronous BIP, International Symposium on Industrial Embedded System (SIES), pp.217-220, 2010.
DOI : 10.1109/SIES.2010.5551374

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

J. Sifakis, Rigorous System Design, volume 6 of Foundations and Trends in Electronic Design Automation, 2013.

P. Sjödin, From LOTOS specifications to distributed implementations, 1991.

J. A. Tauber, Verifiable Compilation of I/O Automata without Global Synchronization, MASSACHUSETTS INSTITUTE OF TECHNOLOGY, 2005.

A. Triki, J. Combaz, S. Bensalem, and J. Sifakis, Model-Based Implementation of Parallel Real-Time Systems, Lecture Notes in Computer Science, vol.7793, pp.235-249, 2013.
DOI : 10.1007/978-3-642-37057-1_18

R. Van-der-meyden, Common Knowledge and Update in Finite Environments, Information and Computation, vol.140, issue.2, pp.115-157, 1998.
DOI : 10.1006/inco.1997.2679

J. Zhou, D. Miao, Q. Feng, and L. Sun, Research on Complete Algorithms for Minimal Attribute Reduction, Rough Sets and Knowledge Technology, pp.152-159, 2009.
DOI : 10.1007/s101150050007