Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/23530
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Stewart, Alan |
dc.contributor.author | Gabarró Vallès, Joaquim |
dc.contributor.author | Keenan, Anthony |
dc.date | 2013-11-01 |
dc.identifier.citation | Stewart, A.; Gabarro, J.; Keenan, A. Reasoning about orchestrations of web services using partial correctness. "Formal aspects of computing", 01 Novembre 2013, vol. 25, núm. 6, p. 833-846. |
dc.identifier.citation | 0934-5043 |
dc.identifier.citation | 10.1007/s00165-011-0212-5 |
dc.identifier.uri | http://hdl.handle.net/2117/23530 |
dc.language.iso | eng |
dc.relation | http://link.springer.com/article/10.1007/s00165-011-0212-5 |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject | World Wide Web – Service – Specification – Orchestration – Orc – Partial correctness – Pre-orders – Fixed-points – Powerdomains |
dc.title | Reasoning about orchestrations of web services using partial correctness |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |