Contract-based discovery of Web services modulo simple orchestrators-Reference-Cited by-同舟云学术

Contract-based discovery of Web services modulo simple orchestrators

Published:2010-08 Issue:37 Volume:411 Page:3328-3347
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Padovani Luca

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference38 articles.

1. Alexandre Alves, Assaf Arkin, Sid Askary, Charlton Barreto, et al., Web services business process execution language version 2.0, 2007. Available at: http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.

2. A characterization of regular expressions under bisimulation;Baeten;Journal of the ACM,2007

3. Arindam Banerji, Claudio Bartolini, Dorothea Beringer, Venkatesh Chopella, et al., Web services conversation language (wscl) 1.0, 2002. Available at: http://www.w3.org/TR/wscl10/.

4. Tom Bellwood, Steve Capell, Luc Clement, John Colgrave, et al., uddiVersion 3.0.2, 2005. Available at: http://uddi.org/pubs/uddi-v3.0.2-20041019.htm.

5. Automatic composition of e-services that export their behavior;Berardi,2003

Cited by 35 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A logical account of subtyping for session types;Journal of Logical and Algebraic Methods in Programming;2024-10

2. Composition of synchronous communicating systems;Journal of Logical and Algebraic Methods in Programming;2023-10

3. A Logical Account of Subtyping for Session Types;Electronic Proceedings in Theoretical Computer Science;2023-04-13

4. Multiparty testing preorders;Logical Methods in Computer Science;2023-01-05

5. On Composing Communicating Systems;Electronic Proceedings in Theoretical Computer Science;2022-08-09