From BPEL to SRML : A formal transformational approach. / Bocchi, L.; Hong, Y.; Fiadeiro, J.L.; Lopes, A.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS 2008. p. 92-107.

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

Published
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
StatePublished - 1 Jan 2008
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7189604