<?xml version="1.0"?>
<dblp>
<article key="journals/scp/OuyangVABDH07" mdate="2007-11-07">
<author>Chun Ouyang</author>
<author>Eric Verbeek</author>
<author>Wil M. P. van der Aalst</author>
<author>Stephan Breutel</author>
<author>Marlon Dumas</author>
<author>Arthur H. M. ter Hofstede</author>
<title>Formal semantics and analysis of control flow in WS-BPEL.</title>
<pages>162-198</pages>
<year>2007</year>
<volume>67</volume>
<journal>Sci. Comput. Program.</journal>
<number>2-3</number>
<ee>http://dx.doi.org/10.1016/j.scico.2007.03.002</ee>
<url>db/journals/scp/scp67.html#OuyangVABDH07</url>
</article>
</dblp>
