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)
Number of pages16
Volume4937 LNCS
Publication statusPublished - 1 Jan 2008

Cite this