Adaptable processes, Logical Methods in Computer Science, vol.8, issue.4, p.2012 ,
DOI : 10.2168/LMCS-8(4:13)2012
URL : https://hal.archives-ouvertes.fr/hal-00909365
Towards a Unifying Theory for Choreography Conformance and Contract Compliance, SC, pp.34-50, 2007. ,
DOI : 10.1007/978-3-540-77351-1_4
Global escape in multiparty sessions, FSTTCS, volume 8 of LIPIcs Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.338-351, 2010. ,
DOI : 10.1007/978-3-540-78739-6_21
URL : https://hal.archives-ouvertes.fr/hal-00909314
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
A Basic Contract Language for Web Services, ESOP, pp.197-213, 2006. ,
DOI : 10.1145/357766.351242
A theory of contracts for web services, POPL, pp.261-272, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00152547
Self-Adaptive Monitors for Multiparty Sessions, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2014. ,
DOI : 10.1109/PDP.2014.18
Safe run-time adaptation of distributed applications, 2013. Submitted ,
Disciplined structured communications with consistent runtime adaptation, SAC, pp.1913-1918, 2013. ,
Trustworthy Pervasive Healthcare Services via Multiparty Session Types, FHIES, pp.124-141, 2013. ,
DOI : 10.1007/978-3-642-39088-3_8
Multiparty asynchronous session types, POPL, pp.273-284, 2008. ,
A Framework for Rule-Based Dynamic Adaptation, TGC, 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
Amending Choreographies, WWV, pp.34-48, 2013. ,
DOI : 10.4204/EPTCS.123.5
URL : https://hal.archives-ouvertes.fr/hal-00909305
From Paper Based Clinical Practice Guidelines to Declarative Workflow Management, ProHealth, pp.36-43, 2008. ,
DOI : 10.1007/11841197_1
Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs, 2013 17th IEEE International Enterprise Distributed Object Computing Conference, pp.127-136, 2013. ,
DOI : 10.1109/EDOC.2013.22
Mastering the Unpredictable -How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done, 2010. ,