Formal semantics and analysis of control flow in WS-BPEL

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

Authors

Chun Ouyang

This author has not been identified. Look up 'Chun Ouyang' in Google

Eric Verbeek

This author has not been identified. Look up 'Eric Verbeek' in Google

Wil M. P. van der Aalst

Identified as Wil M. P. van der Aalst

Stephan Breutel

This author has not been identified. Look up 'Stephan Breutel' in Google

Marlon Dumas

This author has not been identified. Look up 'Marlon Dumas' in Google

Arthur H. M. ter Hofstede

This author has not been identified. Look up 'Arthur H. M. ter Hofstede' in Google