Dynamic Software Update for Message Passing Programs, Lecture Notes in Computer Science, vol.7705, pp.207-222, 2012. ,
DOI : 10.1007/978-3-642-35182-2_15
Global Progress in Dynamically Interleaved Multiparty Sessions, In CONCUR Lecture Notes in Computer Science, vol.5201, pp.418-433, 2008. ,
DOI : 10.1007/978-3-540-85361-9_33
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions, 2009 22nd IEEE Computer Security Foundations Symposium, pp.124-140, 2009. ,
DOI : 10.1109/CSF.2009.26
SCC: A Service Centered Calculus, WS-FM, pp.38-57, 2006. ,
DOI : 10.1007/11841197_3
Sessions and Pipelines for Structured Service Programming, Lecture Notes in Computer Science, vol.5051, pp.19-38, 2008. ,
DOI : 10.1007/978-3-540-68863-1_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.596.9844
A formal semantics for protocol narrations, Theoretical Computer Science, vol.389, issue.3, pp.484-511, 2007. ,
DOI : 10.1016/j.tcs.2007.09.005
On the semantics of Alice&Bob specifications of security protocols, Theoretical Computer Science, vol.367, issue.1-2, pp.88-122, 2006. ,
DOI : 10.1016/j.tcs.2006.08.041
Structured Communication-Centered Programming for Web Services, ACM Transactions on Programming Languages and Systems, vol.34, issue.2, p.8, 2012. ,
DOI : 10.1145/2220365.2220367
Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909320
On global types and multiparty session, Logical Methods in Computer Science, vol.8, issue.1, p.2012 ,
Quantitative Analysis of Web Services Using SRMC, SFM, pp.296-339, 2009. ,
DOI : 10.1007/978-3-642-01918-0_8
Self-Adaptive Monitors for Multiparty Sessions, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.688-696, 2014. ,
DOI : 10.1109/PDP.2014.18
Interface-Based Service Composition with Aggregation, Lecture Notes in Computer Science, vol.7592, pp.48-63, 2012. ,
DOI : 10.1007/978-3-642-33427-6_4
URL : https://hal.archives-ouvertes.fr/hal-00909379
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications, Lecture Notes in Computer Science, vol.8706, pp.161-170, 2014. ,
DOI : 10.1007/978-3-319-11245-9_9
URL : https://hal.archives-ouvertes.fr/hal-01089187
Disciplined structured communications with consistent runtime adaptation, SAC, pp.1913-1918, 2013. ,
A Formal Approach to Service Component Architecture, WS-FM, pp.193-213, 2006. ,
DOI : 10.1007/11841197_13
LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006. ,
DOI : 10.1145/1134285.1134408
Realizability of Conversation Protocols with Message Contents, International Journal of Web Services Research, vol.2, issue.4, pp.68-93, 2005. ,
DOI : 10.4018/jwsr.2005100104
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns, DCAI, volume 290 of Advances in Intelligent Systems and Computing, pp.131-139, 2014. ,
DOI : 10.1007/978-3-319-07593-8_17
URL : https://hal.archives-ouvertes.fr/hal-01090128
Dynamic error handling in service oriented applications, Fundam. Inform, vol.95, issue.1, pp.73-102, 2009. ,
Message Sequence Charts, UML for real, pp.77-105, 2003. ,
DOI : 10.1007/0-306-48738-1_4
Language primitives and type discipline for structured communication-based programming, ESOP, pp.22-138, 1998. ,
DOI : 10.1007/BFb0053567
Multiparty asynchronous session types, POPL, pp.273-284, 2008. ,
DOI : 10.1145/1328438.1328472
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594
A Framework for Rule-Based Dynamic Adaptation, Lecture Notes in Computer Science, vol.6084, pp.284-300, 2010. ,
DOI : 10.1007/978-3-642-15640-3_19
Bridging the Gap between Interaction- and Process-Oriented Choreographies, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.323-332, 2008. ,
DOI : 10.1109/SEFM.2008.11
Disciplining Orchestration and Conversation in Service-Oriented Computing, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), pp.305-314, 2007. ,
DOI : 10.1109/SEFM.2007.13
A Calculus for Orchestration of Web Services, Lecture Notes in Computer Science, vol.4421, pp.33-47, 2007. ,
DOI : 10.1007/978-3-540-71316-6_4
Using formal methods to develop WS-BPEL??applications, Science of Computer Programming, vol.77, issue.3, pp.189-213, 2012. ,
DOI : 10.1016/j.scico.2011.03.002
A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, pp.199-216, 2013. ,
DOI : 10.1007/s11761-012-0125-z
Choreographic Programming, 2013. ,
DOI : 10.1007/978-3-319-33612-1_1
URL : http://arxiv.org/abs/1502.02519
Composing Services with JOLIE, Fifth European Conference on Web Services (ECOWS'07), pp.13-22, 2007. ,
DOI : 10.1109/ECOWS.2007.19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.2241
Compositional Choreographies, Lecture Notes in Computer Science, vol.8052, pp.425-439, 2013. ,
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-00909321
SPY: Local Verification of Global Protocols, Lecture Notes in Computer Science, vol.8174, pp.358-363, 2013. ,
DOI : 10.1007/978-3-642-40787-1_25
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications, Lecture Notes in Computer Science, vol.4916, pp.133-148, 2007. ,
DOI : 10.1007/978-3-540-79707-4_11
Web services choreography description language version 1.0, 2004. ,
The Scribble Protocol Language, Lecture Notes in Computer Science, vol.8358, pp.22-41, 2013. ,
DOI : 10.1007/978-3-319-05119-2_3