{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:18:43Z","timestamp":1730297923897,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/soca.2011.6166203","type":"proceedings-article","created":{"date-parts":[[2012,3,13]],"date-time":"2012-03-13T16:53:27Z","timestamp":1331657607000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about service oriented recursion"],"prefix":"10.1109","author":[{"given":"Claudio","family":"Guidi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Sperduti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Writing A Recursive BPEL Process","year":"0","author":"wright","key":"19"},{"journal-title":"Web Services Addressing Core 1 0","year":"2006","key":"17"},{"journal-title":"C (Programming Language)","year":"0","key":"18"},{"journal-title":"SOAP Version 1 2 Part 0","year":"2007","key":"15"},{"journal-title":"Web Services Description Language (WSDL) 1 1","year":"0","key":"16"},{"journal-title":"Web Services Business Process Execution Language Version 2 0","year":"0","key":"13"},{"journal-title":"Java language","year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.01.051"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2007.19"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16023-3_30"},{"journal-title":"Jolie Java Orchestration Language Interpreter Engine","year":"0","key":"2"},{"journal-title":"JEye Workflow Visualizer for Jolie","year":"0","key":"1"},{"journal-title":"Jolie A Service-oriented Programming Language","year":"2010","author":"montesi","key":"10"},{"journal-title":"The Haskell Programming Language","year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.2.6"},{"key":"5","first-page":"327","article-title":"Sock: A calculus for service oriented computing","volume":"4294","author":"guidi","year":"2006","journal-title":"LNCS"},{"journal-title":"Formalizing Languages for Service Oriented Computing","year":"2007","author":"guidi","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2008.20"},{"key":"8","first-page":"1","article-title":"On web services aggregation","author":"khalaf","year":"2003","journal-title":"TES Technologies for E-Services 4th International Workshop TES 2003 Berlin Germany September 8 2003 Proceedings"}],"event":{"name":"2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)","start":{"date-parts":[[2011,12,12]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2011,12,14]]}},"container-title":["2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6156051\/6166194\/06166203.pdf?arnumber=6166203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T11:45:22Z","timestamp":1490096722000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6166203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/soca.2011.6166203","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}