Formal semantics and analysis of control flow in WS-BPEL

C. Ouyang, W.M.P. Aalst, van der, S. Breutel, M. Dumas, A.H.M. Hofstede, ter, H.M.W. Verbeek

Research output: Book/Report › Report › Academic

170 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal semantics and analysis of control flow in WS-BPEL'. Together they form a unique fingerprint.

Computer Science