{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:17:04Z","timestamp":1725574624445},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236634"},{"type":"electronic","value":"9783540304685"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30468-5_10","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T18:12:53Z","timestamp":1294855973000},"page":"121-138","source":"Crossref","is-referenced-by-count":19,"title":["Untangling Unstructured Cyclic Flows \u2013 A Solution Based on Continuations"],"prefix":"10.1007","author":[{"given":"Jana","family":"Koehler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Hauser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Andrews, T., et al.: Business process execution language for web services (2002), \n                    \n                      www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/"},{"key":"10_CR2","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1898","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley, Reading (1898)"},{"key":"10_CR3","volume-title":"Workflow Management Models, Methods, and Systems","author":"W. Aalst van der","year":"2004","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management Models, Methods, and Systems. MIT Press, Cambridge (2004)"},{"key":"10_CR4","unstructured":"van der Aalst, W., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: Proceedings of theWorkshop on EPK, pp. 7\u201318 (2003)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF01019459","volume":"6","author":"J. Reynolds","year":"1993","unstructured":"Reynolds, J.: The discoveries of continuations. LISP and Symbolic Computation\u00a06, 233\u2013247 (1993)","journal-title":"LISP and Symbolic Computation"},{"key":"10_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626364","volume-title":"Theories of Programming Languages","author":"J. Reynolds","year":"1998","unstructured":"Reynolds, J.: Theories of Programming Languages. Cambridge University Press, Cambridge (1998)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C. B\u00f6hm","year":"1966","unstructured":"B\u00f6hm, C., Jacopini, G.: Flow diagrams, turing machines and languages with only two formation rules. Communications of the ACM\u00a09, 366\u2013371 (1966)","journal-title":"Communications of the ACM"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1109\/32.126773","volume":"13","author":"Z. Ammarguellat","year":"1992","unstructured":"Ammarguellat, Z.: A control-flow normalization algorithm and its complexity. Software Engineering\u00a013, 237\u2013251 (1992)","journal-title":"Software Engineering"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/ICCL.1994.288377","volume-title":"Proceedings of the International Conference on Computer Languages (ICCL)","author":"A. Erosa","year":"1994","unstructured":"Erosa, A., Hendren, L.: Taming control flow: A structured approach to eliminating goto statements. In: Proceedings of the International Conference on Computer Languages (ICCL), pp. 229\u2013240. IEEE Press, Los Alamitos (1994)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1145\/355609.362337","volume":"16","author":"W. Peterson","year":"1973","unstructured":"Peterson, W., Kasami, T., Tokura, N.: On the capabilities of while, repeat, and exit statements. Communications of the ACM\u00a016, 503\u2013512 (1973)","journal-title":"Communications of the ACM"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1137\/0201014","volume":"1","author":"M. Hecht","year":"1972","unstructured":"Hecht, M., Ullman, J.: Flow graph reducibility. SIAM Journal of Computing\u00a01, 188\u2013202 (1972)","journal-title":"SIAM Journal of Computing"},{"key":"10_CR12","series-title":"LNCS","volume-title":"Third International Conference on Generative Programming and Component Engineering","author":"R. Hauser","year":"2004","unstructured":"Hauser, R., Koehler, J.: Compiling process graphs into executable code. In: Third International Conference on Generative Programming and Component Engineering. LNCS, Springer, Heidelberg (2004) (forthcoming)"},{"key":"10_CR13","volume-title":"Compilers\u2013Principles, Techniques, and Tools","author":"A. Aho","year":"1986","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers\u2013Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"10_CR14","unstructured":"Amsden, J., Gardner, T., Griffin, C., Iyengar, S., Knapman, J.: UML profile for automated business processes with a mapping to BPEL 1.0. IBM Alphaworks, \n                    \n                      http:\/\/dwdemos.alphaworks.ibm.com\/wstk\/common\/wstkdocservices\/demos\/uml2bpel\/docs\/\n                    \n                    \n                   UMLProfileForBusinessProcesses1.0.pdf (2003)"},{"key":"10_CR15","volume-title":"The Object Constraint Language \u2013 Precise Modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language \u2013 Precise Modeling with UML. Addison-Wesley, Reading (1999)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30468-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:01:49Z","timestamp":1620014509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30468-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236634","9783540304685"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30468-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}