共 8 条
[8]
Formal semantics and analysis of control flow in WS-BPEL[J] . Chun Ouyang,Eric Verbeek,Wil M.P. van der Aalst,Stephan Breutel,Marlon Dumas,Arthur H.M. ter Hofstede.Science of Computer Programming . 2007 (2)