%0 Journal Article %1 journals/scp/OuyangVABDH07 %A Ouyang, Chun %A Verbeek, Eric %A van der Aalst, Wil M. P. %A Breutel, Stephan %A Dumas, Marlon %A ter Hofstede, Arthur H. M. %D 2007 %J Sci. Comput. Program. %K %N 2-3 %P 162-198 %T Formal semantics and analysis of control flow in WS-BPEL. %U http://dblp.uni-trier.de/db/journals/scp/scp67.html#OuyangVABDH07 %V 67

@article{journals/scp/OuyangVABDH07, added-at = {2023-12-13T10:27:21.000+0100}, author = {Ouyang, Chun and Verbeek, Eric and van der Aalst, Wil M. P. and Breutel, Stephan and Dumas, Marlon and ter Hofstede, Arthur H. M.}, biburl = {https://www.bibsonomy.org/bibtex/2fe18462773bcdaef74a52e765ea4cf29/admin}, ee = {https://www.wikidata.org/entity/Q57005848}, interhash = {d7977905eb44e0c0dd392c5dc9cfabea}, intrahash = {fe18462773bcdaef74a52e765ea4cf29}, journal = {Sci. Comput. Program.}, keywords = {}, number = {2-3}, pages = {162-198}, timestamp = {2023-12-13T10:27:21.000+0100}, title = {Formal semantics and analysis of control flow in WS-BPEL.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp67.html#OuyangVABDH07}, volume = 67, year = 2007 }