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

F. Arbab, Puff, The Magic Protocol, Talcott Festschrift, pp.169-206, 2011.
DOI : 10.1007/978-3-642-24933-4_9

F. Arbab, N. Kokash, and S. Meng, Towards Using Reo for Compliance-Aware Business Process Modeling, CCIS, vol.194, issue.4, pp.108-123, 2008.
DOI : 10.1016/j.entcs.2008.03.100

C. Baier, M. Sirjani, F. Arbab, and J. Rutten, Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, pp.75-113, 2006.
DOI : 10.1016/j.scico.2005.10.008

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

S. Bliudze and J. Sifakis, Causal semantics for the algebra of connectors, Formal Methods in System Design, vol.204, issue.8, pp.167-194, 2010.
DOI : 10.1007/s10703-010-0091-z

B. Changizi, N. Kokash, and F. Arbab, A Unified Toolset for Business Process Model Formalization, Preproceedings of FESCA 2010, pp.147-156, 2010.

J. F. Groote and M. R. Mousavi, Modeling and Analysis of Communicating Systems, 2014.

S. S. Jongmans and F. Arbab, Global Consensus through Local Synchronization, No, pp.174-188, 2013.
DOI : 10.1007/978-3-642-45364-9_15

S. S. Jongmans and F. Arbab, Modularizing and Specifying Protocols among Threads, PLACES 2012, pp.34-45, 2013.
DOI : 10.4204/EPTCS.109.6
URL : http://doi.org/10.4204/eptcs.109.6

S. S. Jongmans and F. Arbab, Toward Sequentializing Overparallelized Protocol Code, Electronic Proceedings in Theoretical Computer Science, vol.166, pp.38-44, 2014.
DOI : 10.4204/EPTCS.166.5
URL : http://doi.org/10.4204/eptcs.166.5

S. S. Jongmans and F. Arbab, Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?, CWI, 2015.
DOI : 10.1007/978-3-319-24644-4_17
URL : https://hal.archives-ouvertes.fr/hal-01446603

S. S. Jongmans, S. Halle, and F. Arbab, Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms, COORDINATION 2014, pp.65-82, 2014.
DOI : 10.1007/978-3-662-43376-8_5
URL : https://hal.archives-ouvertes.fr/hal-01290068

S. S. Jongmans, F. Santini, and F. Arbab, Partially-Distributed Coordination with Reo, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.697-706, 2014.
DOI : 10.1109/PDP.2014.19

S. Meng, F. Arbab, and C. Baier, Synthesis of Reo circuits from scenario-based interaction specifications, Science of Computer Programming, vol.76, issue.8, pp.651-680, 2011.
DOI : 10.1016/j.scico.2010.03.002

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, 2012.
DOI : 10.1145/2245276.2232017

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

M. Sirjani, M. M. Jaghoori, C. Baier, and F. Arbab, Compositional Semantics of an Actor-Based Language Using Constraint Automata, COORDINATION 2006, pp.281-297, 2006.
DOI : 10.1007/11767954_18