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

Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim; Serna Iglesias, María José
Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim
Gabarró Vallès, Joaquim; Kilpatrick, Peter; Serna Iglesias, María José; Stewart, Alan
Roy, Helen E.; Adriaens, Tim; Aldridge, David; Bacher, Sven; Bishop, John; Blackburn, Tim M.; Branquart, Etienne; Brodie, Juliet; Carboneras, Carles; Cook, Elizabeth J.; Copp, Gordon H.; Dean, Hannah; Eilenberg, Jørgen; Essl, Franz; Gallardo, Belinda; Garcia, Mariana; García-Berthou, Emili; Genovesi, Piero; Hulme, Philip E.; Kenis, Marc; Kerckhof, Francis; Kettunen, Marianne; Minchin, Dan; Nentwig, Wolfgang; Nieto, Ana; Pergl, Jan; Pescott, Oliver; Peyton, Jodey; Preda, Cristina; Rabitsch, Wolfgang; Roques, Alain; Rorke, Steph; Scalera, Riccardo; Schindler, Stefan; Schönrogge, Karsten; Solarz, Wojciech; Stewart, Alan; Tricarico, Elena; Vanderhoeven, Sonia; van der Velde, Gerard; Vilà, Montserrat; Wood, Christine; Zenetos, Argyro
Roy, Helen E.; Adriaens, Tim; Aldridge, David; Bacher, Sven; Bishop, John; Blackburn, Tim M.; Branquart, Etienne; Brodie, Juliet; Carboneras, Carles; Cook, Elizabeth J.; Copp, Gordon H.; Dean, Hannah; Eilenberg, Jørgen; Essl, Franz; Gallardo, Belinda; Garcia, Mariana; García-Berthou, Emili; Genovesi, Piero; Hulme, Philip E.; Kenis, Marc; Kerckhof, Francis; Kettunen, Marianne; Minchin, Dan; Nentwig, Wolfgang; Nieto, Ana; Pergl, Jan; Pescott, Oliver; Peyton, Jodey; Preda, Cristina; Rabitsch, Wolfgang; Roques, Alain; Rorke, Steph; Scalera, Riccardo; Schindler, Stefan; Schönrogge, Karsten; Solarz, Wojciech; Stewart, Alan; Tricarico, Elena; Vanderhoeven, Sonia; van der Velde, Gerard; Vilà, Montserrat; Wood, Christine; Zenetos, Argyro
 

Coordination

 

Supporters