Author of the publication

Enhancing the expressivity of PADL for specifying Web Services Architectures.

, , , , and . TAMoCo, volume 169 of Frontiers in Artificial Intelligence and Applications, page 99-110. IOS Press, (2008)

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

Design and Verification of Web Services Compositions., , , and . ICIW, page 395-400. IEEE Computer Society, (2009)A Comparative Study between WSCI, WS-CDL, and OWL-S., , , and . ICEBE, page 377-382. IEEE Computer Society, (2009)Contract Compliance Monitoring of Web Services., and . ESOCC, volume 8135 of Lecture Notes in Computer Science, page 119-133. Springer, (2013)Verification of Web Services with Timed Automata., , , , and . WWV, DSIC-II/03/05, page 177-191. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)The analyst's game.. SIGCPR, page 20-28. ACM, (1976)Enhancing the expressivity of PADL for specifying Web Services Architectures., , , , and . TAMoCo, volume 169 of Frontiers in Artificial Intelligence and Applications, page 99-110. IOS Press, (2008)Formal Study of Prioritized Service Compositions., , , and . SITIS, page 355-362. IEEE Computer Society, (2009)Contractually Compliant Service Compositions., , and . ICSOC, volume 7084 of Lecture Notes in Computer Science, page 636-644. Springer, (2011)Application of Formal Methods to the Analysis of Web Services Security., , , and . EPEW/WS-FM, volume 3670 of Lecture Notes in Computer Science, page 215-229. Springer, (2005)WST: a tool supporting timed composite Web Services Model transformation., , , , and . Simul., 88 (3): 349-364 (2012)