From BPEL to SRML: A formal transformational approach

Bocchi, Laura; Hong, Yi; Lopes, Antónia; Fiadeiro, José Luiz

ws-fm07-7(camerareadyInformal).pdf (563.11 kB)

From BPEL to SRML: A formal transformational approach

journal contribution

posted on 2008-06-09, 09:36 authored by Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro

From BPEL to SRML: A formal transformational approach

History

Citation

Lecture Notes in Computer Science, 2008, 2937, pp.92-107

Published in

Lecture Notes in Computer Science

Publisher

Springer Verlag

Available date

2008-06-09

Notes

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

Language

en

Administrator link

https://leicester.figshare.com/account/articles/10081202

Usage metrics

Keywords

IR content

From BPEL to SRML: A formal transformational approach

History

Citation

Published in

Publisher

Available date

Notes

Language

Administrator link

Usage metrics

Categories

Keywords

Licence

Exports