The lazy lambda calculus, Research Topics in Functional Programming, pp.65-116, 1990. ,
The algoritmics of bisimilarity Advanced Topics in Bisimulation and Coinduction, Cambridge Tracts in Theoretical Computer Science, vol.525, pp.100-172, 2002. ,
CDuce: an XML-centric general-purpose language, SIGPLAN Notices, vol.386, issue.9, pp.51-63, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00152619
Using wscl in a uddi Registry 1.0, 2001. uddi Working Draft Best Practices Document, Behavioural Equivalences for Web Services, 2013. ,
Modelling session types using contracts, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1941-1946 ,
Contract-Driven Implementation of Choreographies, Trustworthy Global Computing, pp.1-18, 2009. ,
DOI : 10.1016/j.ic.2006.06.002
Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Pre-proceedings of 6th Symposium on Software Composition, 2007. ,
DOI : 10.1007/978-3-540-77351-1_4
A foundational theory of contracts for multi-party service composition. Fundam, Inform, vol.8912, issue.4, pp.451-478, 2008. ,
Contract-Based Discovery and Composition of Web Services, SFM'09, pp.261-295, 2009. ,
DOI : 10.1007/978-3-642-01918-0_7
A theory of contracts for strong service compliance A theory of communicating sequential processes, Mathematical Structures in Computer Science J. ACM, vol.1915, issue.53, pp.601-638, 1984. ,
Compliance preorders for web services On the expressive power of recursion, replication and iteration in process calculi, WS-FM, pp.76-911191, 2009. ,
Structured communication-centered programming for web services A formal account of contracts for Web Services Types as models: model checking message-passing programs, Theoretical Computer Science Proceedings of 16th European Symposium on Programming WS-FM, 3rd Int. Workshop on Web Services and Formal Methods, number 4184 in LNCS20] S. Carpineti, C. Laneve, and L. Padovani. PiDuce ? A Project for Experimenting Web Services Technologies21] G. Castagna, N. Gesbert, and L. Padovani. A Theory of Contracts for Web Services, pp.35-55, 2002. ,
Web Services Description Language ( wsdl) 1.1, 2001. ,
The concurrency workbench, Proceedings of TAPSOFT'87, pp.36-7283, 1984. ,
DOI : 10.1007/3-540-52148-8_3
Multiparty asynchronous session types, POPL, pp.273-284, 2008. ,
XDuce, ACM Transactions on Internet Technology, vol.3, issue.2, pp.117-148, 2003. ,
DOI : 10.1145/767193.767195
The must preorder revisited ? an algebraic theory for web services contracts, CONCUR'07, pp.212-225, 2007. ,
The Pairing of Contracts and Session Types, Concurrency, Graphs and Models, pp.681-700, 2008. ,
DOI : 10.1007/978-3-540-68679-8_42
An Algebraic Theory for Web Service Contracts, Proceedings of 10th International Conference on integrated Formal Methods, volume LNCS 794035] R. Milner. A Calculus of Communicating Systems, pp.301-315, 1982. ,
URL : https://hal.archives-ouvertes.fr/hal-01229401
Contract-Directed Synthesis of Simple Orchestrators [39] L. Padovani. Contract-Based Discovery of Web Services Modulo Simple Orchestrators [40] L. Padovani. Fair Subtyping for Multi-Party Session Types [41] L. Padovani. Fair Subtyping for Open Session Types, Proceedings of POPL'94 Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), volume LNCS 520138] L. Padovani. Contract-Based Discovery and Adaptation of Web Services, volume LNCS 5569 Proceedings of the 13th Conference on Coordination Models and Languages, volume LNCS 6721 Proceedings of 40th International Colloquium on Automata, Languages, and Programming, Part II, volume LNCS 7966ssdl.org. [43] A. M. Pitts and I. D. B. Stark. Observable properties of higher order functions that dynamically create local names, or what's new? In 18th International Symposium on Mathematical Foundations of Computer Science, pp.84-97, 1993. ,