C. Allan and P. Avgustinov, Adding trace matching with free variables to AspectJ, ACM Conference on Object-Oriented Programming, Systems and Languages (OOPSLA)

F. Baligand, N. Rivierre, and T. Ledoux, A Declarative Approach for QoS-Aware Web Service Compositions, 5th International Conference on Service-Oriented Computing, 2007.
DOI : 10.1007/978-3-540-74974-5_38
URL : https://hal.archives-ouvertes.fr/hal-00485546

S. Capecchi, I. Castellani, M. Dezani-ciancaglini, and T. Rezk, Session Types for Access and Information Flow Control, CONCUR -Concurrency Theory, 21th International Conference, 2010.
DOI : 10.1007/978-3-642-15375-4_17
URL : https://hal.archives-ouvertes.fr/inria-00511304

M. Carbone, K. Honda, and N. Yoshida, Structured Interactional Exceptions in Session Types, CONCUR, LNCS 5201, 2008.
DOI : 10.1007/978-3-540-85361-9_32

G. Cécé and A. Finkel, Verification of programs with half-duplex communication, Information and Computation, vol.202, issue.2, pp.166-190, 2005.
DOI : 10.1016/j.ic.2005.05.006

A. Charfi and M. Mezini, Using aspects for security engineering of Web service compositions, IEEE International Conference on Web Services (ICWS'05), 2005.
DOI : 10.1109/ICWS.2005.126

P. Deniélou and N. Yoshida, Dynamic multirole session types, Symposium on Principles of Programming Languages (POPL). ACM, 2011.

P. M. Deniélou and N. Yoshida, Multiparty Session Types Meet Communicating Automata, 21st European Symposium on Programming (ESOP), p.194, 2012.
DOI : 10.1007/978-3-642-28869-2_10

P. M. Deniélou and N. Yoshida, Multiparty Session Types Meet Communicating Automata, Imperial College
DOI : 10.1007/978-3-642-28869-2_10

R. Douence, P. Fradet, and M. Südholt, Composition, reuse and interaction analysis of stateful aspects, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, 2004.
DOI : 10.1145/976270.976288
URL : https://hal.archives-ouvertes.fr/inria-00000946

S. J. Gay and V. T. Vasconcelos, Modular session types for distributed object-oriented programming, POPL'10, 2010.

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP'98, pp.22-38, 1998.
DOI : 10.1007/BFb0053567

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, 35th Symposium on Principles of Programming Languages (POPL). ACM, 2008.