M. Bartoletti, T. Cimoli, M. Murgia, A. S. Podda, and L. Pompianu, Compliance and Subtyping in Timed Session Types, LNCS, vol.9039, pp.161-177, 2015.
DOI : 10.1007/978-3-319-19195-9_11

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6645

L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida, A Theory of Design-by-Contract for Distributed Multiparty Interactions, CONCUR 2010, pp.162-176, 2010.
DOI : 10.1007/978-3-642-15375-4_12

L. Bocchi, W. Yang, and N. Yoshida, Timed Multiparty Session Types, Proc. of CON- CUR'14, pp.419-434, 2014.
DOI : 10.1007/978-3-662-44584-6_29

E. Bonelli, A. B. Compagnoni, and E. L. Gunter, Correspondence assertions for process synchronization in concurrent communications, Journal of Functional Programming, vol.15, issue.2, pp.219-247, 2005.
DOI : 10.1017/S095679680400543X
URL : http://doi.org/10.1016/j.entcs.2004.04.036

F. Boussinot and R. De-simone, The SL synchronous language, IEEE Transactions on Software Engineering, vol.22, issue.4, pp.256-266, 1996.
DOI : 10.1109/32.491649
URL : https://hal.archives-ouvertes.fr/inria-00074168

M. Cano, J. Arias, and J. A. Pérez, Session-based Concurrency, Reactively (Extended Version ), 2017
DOI : 10.1007/978-3-319-60225-7_6

O. Dardha, E. Giachino, and D. Sangiorgi, Session types revisited, Proc. of PPDP'12, pp.139-150, 2012.
DOI : 10.2991/978-94-6239-204-5_6
URL : https://hal.archives-ouvertes.fr/hal-00909389

D. Gorla, Towards a unified approach to encodability and separation results for process calculi, Information and Computation, vol.208, issue.9, pp.1031-1053, 2010.
DOI : 10.1016/j.ic.2010.05.002
URL : http://doi.org/10.1016/j.ic.2010.05.002

N. Halbwachs, F. Lagnier, and C. , Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992.
DOI : 10.1109/32.159839

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, Proc. of ESOP'98, pp.122-138, 1998.
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650

H. Hüttel, I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone et al., Foundations of session types and behavioural contracts, ACM Comput. Surv, vol.493, issue.1, pp.1-3, 2016.

D. Kouzapas, N. Yoshida, R. Hu, and K. Honda, On asynchronous eventful session semantics, Mathematical Structures in Computer Science, vol.13, issue.02, pp.303-364, 2016.
DOI : 10.1007/978-3-642-02273-9_16

L. Mandel and C. Pasteur, Reactivity of Cooperative Systems -Application to ReactiveML, 21st International Symposium, SAS 2014, pp.219-236, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01093169

L. Mandel, C. Pasteur, and M. Pouzet, ReactiveML, ten years later, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP '15, pp.6-17, 2015.
DOI : 10.1145/800087.802786
URL : https://hal.archives-ouvertes.fr/hal-01508179

L. Mandel and M. Pouzet, ReactiveML, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.82-93, 2005.
DOI : 10.1145/1069774.1069782
URL : https://hal.archives-ouvertes.fr/hal-01508179

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-40, 1992.
DOI : 10.1016/0890-5401(92)90008-4

V. T. Vasconcelos, Fundamentals of session types, Information and Computation, vol.217, pp.52-70, 2012.
DOI : 10.1016/j.ic.2012.05.002
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.8213