[{"text":"\n\n\nChris Allan , Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, Adding trace matching with free variables to AspectJ, Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA   [doi>10.1145/1094811.1094839]\n\n","citation":"1094839","doi":"http://doi.acm.org/10.1145/1094811.1094839"},{"text":"\n\n\nFabien Baligand , Nicolas Rivierre , Thomas Ledoux, A Declarative Approach for QoS-Aware Web Service Compositions, Proceedings of the 5th international conference on Service-Oriented Computing, September 17-20, 2007, Vienna, Austria   [doi>10.1007/978-3-540-74974-5_38]\n\n","citation":"1422374"},{"text":"\n\n\nSara Capecchi , Ilaria Castellani , Mariangiola Dezani-Ciancaglini , Tamara Rezk, Session types for access and information flow control, Proceedings of the 21st international conference on Concurrency theory, p.237-252, August 31-September 03, 2010, Paris, France \n\n","citation":"1887671"},{"text":"\n\n\nMarco Carbone , Kohei Honda , Nobuko Yoshida, Structured Interactional Exceptions in Session Types, Proceedings of the 19th international conference on Concurrency Theory, August 19-22, 2008, Toronto, Canada   [doi>10.1007/978-3-540-85361-9_32]\n\n","citation":"1431532"},{"text":"\n\n\nGérard Cécé , Alain Finkel, Verification of programs with half-duplex communication, Information and Computation, v.202 n.2, p.166-190, 1 November, 2005   [doi>10.1016/j.ic.2005.05.006]\n\n","citation":"1709549"},{"text":"\n\n\nAnis Charfi , Mira Mezini, Using Aspects for Security Engineering of Web Service Compositions, Proceedings of the IEEE International Conference on Web Services, p.59-66, July 11-15, 2005   [doi>10.1109/ICWS.2005.126]\n\n","citation":"1092001"},{"text":"\n\n\nPierre-Malo Deniélou , Nobuko Yoshida, Dynamic multirole session types, Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 26-28, 2011, Austin, Texas, USA   [doi>10.1145/1926385.1926435]\n\n","citation":"1926435","doi":"http://doi.acm.org/10.1145/1926385.1926435"},{"text":"\n\n\nPierre-Malo Deniélou , Nobuko Yoshida, Multiparty session types meet communicating automata, Proceedings of the 21st European conference on Programming Languages and Systems, p.194-213, March 24-April 01, 2012, Tallinn, Estonia   [doi>10.1007/978-3-642-28869-2_10]\n\n","citation":"2259258"},{"text":"\n\nP.M. Deniélou and N. Yoshida. Multiparty session types meet communicating automata. Technical report, Imperial College, London, 2012. http://www.doc.ic.ac.uk/ malo/msa/.\n\n"},{"text":"\n\n\nRémi Douence , Pascal Fradet , Mario Südholt, Composition, reuse and interaction analysis of stateful aspects, Proceedings of the 3rd international conference on Aspect-oriented software development, p.141-150, March 22-24, 2004, Lancaster, UK   [doi>10.1145/976270.976288]\n\n ","citation":"976288","doi":"http://doi.acm.org/10.1145/976270.976288"},{"text":"\n\n\nSimon J. Gay , Vasco T. Vasconcelos , António Ravara , Nils Gesbert , Alexandre Z. Caldeira, Modular session types for distributed object-oriented programming, Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 17-23, 2010, Madrid, Spain   [doi>10.1145/1706299.1706335]\n\n","citation":"1706335","doi":"http://doi.acm.org/10.1145/1706299.1706335"},{"text":"\n\n\nKohei Honda , Vasco Thudichum Vasconcelos , Makoto Kubo, Language Primitives and Type Discipline for Structured Communication-Based Programming, Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems, p.122-138, March 28-April 04, 1998 \n\n","citation":"651876"},{"text":"\n\n\nKohei Honda , Nobuko Yoshida , Marco Carbone, Multiparty asynchronous session types, Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 07-12, 2008, San Francisco, California, USA   [doi>10.1145/1328438.1328472]\n\n","citation":"1328472","doi":"http://doi.acm.org/10.1145/1328438.1328472"}]