posted on 2008-06-09, 09:36authored byLaura 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