Author of the publication

A Calculus for Orchestration of Web Services.

, , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 33-47. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study., , , and . WWV, volume 235 of Electronic Notes in Theoretical Computer Science, page 71-105. Elsevier, (2008)A WSDL-based type system for asynchronous WS-BPEL processes., , and . Formal Methods Syst. Des., 38 (2): 119-157 (2011)Specifying and Analysing SOC Applications with COWS., , and . Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 701-720. Springer, (2008)A Calculus for Orchestration of Web Services., , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 33-47. Springer, (2007)A Formal Account of WS-BPEL., , and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 199-215. Springer, (2008)A WSDL-Based Type System for WS-BPEL., , and . COORDINATION, volume 4038 of Lecture Notes in Computer Science, page 145-163. Springer, (2006)Analysing Robot Movement Using the Sensoria Methods., , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)C-clock-WS: A Timed Service-Oriented Calculus., , and . ICTAC, volume 4711 of Lecture Notes in Computer Science, page 275-290. Springer, (2007)Service Discovery and Negotiation With COWS., , and . WWV, volume 200 of Electronic Notes in Theoretical Computer Science, page 133-154. Elsevier, (2007)Regulating Data Exchange in Service Oriented Applications., , and . FSEN, volume 4767 of Lecture Notes in Computer Science, page 223-239. Springer, (2007)