From BPEL to SRML: A formal transformational approach

L. Bocchi, Y. Hong, J.L. Fiadeiro, A. Lopes

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages92-107
Number of pages16
Volume4937 LNCS
DOIs
Publication statusPublished - 1 Jan 2008

Cite this