To access the full text documents, please follow this link: http://hdl.handle.net/2117/23530

Reasoning about orchestrations of web services using partial correctness
Stewart, Alan; Gabarró Vallès, Joaquim; Keenan, Anthony
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Àrees temàtiques de la UPC::Informàtica
World Wide Web – Service – Specification – Orchestration – Orc – Partial correctness – Pre-orders – Fixed-points – Powerdomains
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/publishedVersion
Article
         

Show full item record

Related documents

Other documents of the same author

Gabarró Vallès, Joaquim; Kilpatrick, Peter; Serna Iglesias, María José; Stewart, Alan
Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim; Serna Iglesias, María José
Álvarez Faura, M. del Carme; Duch Brown, Amalia; Gabarró Vallès, Joaquim; Serna Iglesias, María José
Álvarez Faura, M. del Carme; Duch Brown, Amalia; Gabarró Vallès, Joaquim; Serna Iglesias, María José
Álvarez Faura, M. del Carme; Duch Brown, Amalia; Gabarró Vallès, Joaquim; Serna Iglesias, María José
 

Coordination

 

Supporters