Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/3876
Title: From BPEL to SRML: A formal transformational approach
Authors: Bocchi, Laura
Hong, Yi
Lopes, Antónia
Fiadeiro, José Luiz
First Published: 13-Apr-2008
Publisher: Springer Verlag
Citation: Lecture Notes in Computer Science, 2008, 2937, pp.92-107
Links: http://hdl.handle.net/2381/3876
Type: Article
Description: This is the author's final draft of the version published as Lecture Notes in Computer Science, 2008, 4937, pp. 92-107 and can also be accessed via http://www.springerlink.com/content/h107807x8w16u711/?p=73d391fb45f441b989c5534c427c2d02&pi=39
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
ws-fm07-7(camerareadyInformal).pdf563.11 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.