J. Armstrong, Getting Erlang to talk to the outside world, Proceedings of the 2002 ACM SIGPLAN workshop on Erlang , ERLANG '02, pp.64-72, 2002.
DOI : 10.1145/592849.592858

G. Banavar, T. Chandra, R. E. Strom, and D. C. Sturman, A Case for Message Oriented Middleware, Proceedings of the 13th Int. Symp. Distributed Computing, pp.1-18, 1999.
DOI : 10.1007/3-540-48169-9_1

S. Basu and T. Bultan, Choreography conformance via synchronizability, Proceedings of the 20th international conference on World wide web, WWW '11, 2011.
DOI : 10.1145/1963405.1963516
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.9561

S. Basu, T. Bultan, and M. Ouederni, Deciding Choreography Realizability, Proc. 39th Symp. Principles of Programming Languages, 2012.
DOI : 10.1145/2103621.2103680
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.6722

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

T. Bultan, X. Fu, and J. Su, Analyzing Conversations: Realizability, Synchronizability, and Verification, Test and Analysis of Web Services, pp.57-85, 2007.
DOI : 10.1007/978-3-540-72912-9_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.1734

M. Carbone, K. Honda, N. Yoshida, R. Milner, G. Brown et al., A Theoretical Basis of Communication-Centred Concurrent Programming, W3C Note, 2002.

M. Fähndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. C. Hunt et al., Language support for fast and reliable message-based communication in singularity os, Proc. 2006 EuroSys Conf, pp.177-190, 2006.

G. C. Hunt and J. R. Larus, Singularity, ACM SIGOPS Operating Systems Review, vol.41, issue.2, pp.37-49, 2007.
DOI : 10.1145/1243418.1243424

D. A. Menascé, MOM vs. RPC: Communication Models for Distributed Applications, IEEE Internet Computing, vol.9, issue.2, pp.90-93, 2005.
DOI : 10.1109/MIC.2005.42

Z. Stengel and T. Bultan, Analyzing singularity channel contracts, Proceedings of the eighteenth international symposium on Software testing and analysis, ISSTA '09, pp.13-24, 2009.
DOI : 10.1145/1572272.1572275
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.8074