{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:40Z","timestamp":1761611140441,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icws.2004.1314722","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"43-50","source":"Crossref","is-referenced-by-count":133,"title":["Describing and reasoning on Web services using process algebra"],"prefix":"10.1109","author":[{"given":"G.","family":"Salaun","sequence":"first","affiliation":[]},{"given":"L.","family":"Bordeaux","sequence":"additional","affiliation":[]},{"given":"M.","family":"Schaerf","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Model-checking verification for reliable web service","author":"nakajima","year":"2002","journal-title":"Proc of OOWS'02 Satellite Event of OOPSLA'02"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/944217.944236"},{"key":"18","article-title":"Communication and concurrency","author":"milner","year":"1989","journal-title":"International Series in Computer Science"},{"key":"15","first-page":"482","article-title":"Adapting golog for composition of semantic web services","author":"mcilraith","year":"2002","journal-title":"Proc KR-02"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0101-5"},{"key":"13","first-page":"335","article-title":"Planning and monitoring the execution of web service requests","volume":"2910","author":"lazovik","year":"2003","journal-title":"Proc of ICSOC'03 Volume 2910 of LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"journal-title":"Communicating Sequential Processes","year":"1984","author":"hoare","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773154"},{"key":"21","first-page":"287","article-title":"Tool support for visualizing CSP in UML","volume":"2495","author":"ng","year":"2002","journal-title":"Proc of ICFEM'02 Volume 2495 of LNCS"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"22","first-page":"479","author":"parrow","year":"2001","journal-title":"An Introduction to the ?-Calculus"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.005"},{"key":"24","doi-asserted-by":"crossref","first-page":"640","DOI":"10.1007\/BFb0032011","article-title":"Timed CSP: Theory and practice","volume":"600","author":"schneider","year":"1992","journal-title":"Proc of REX Workshop on Real-time Theory in Practice Volume 600 of LNCS"},{"journal-title":"Web Service Choreography Interface 1 0","year":"0","key":"25"},{"journal-title":"Web Services Choreography Requirements 1 0 (Draft)","year":"0","key":"26"},{"journal-title":"Process Algebra Volume 18 of Cambridge Tracts in Theoretical Computer Science","year":"1990","author":"baeten","key":"3"},{"key":"2","first-page":"348","article-title":"DAML-S: Web service description for the semantic web","volume":"2342","author":"ankolekar","year":"2002","journal-title":"Proc of ISWC'02 Volume 2342 of LNCS"},{"key":"10","article-title":"A petri net-based model for web service composition","author":"hamadi","year":"2003","journal-title":"Proc of ADC'03"},{"journal-title":"Specification Business Process Execution Language for Web Services Version 1 1","year":"2003","author":"andrews","key":"1"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"journal-title":"Handbook of Process Algebra","year":"2001","author":"bergstra","key":"5"},{"key":"4","first-page":"43","article-title":"Automatic composition of E-services that export their behavior","volume":"2910","author":"berardi","year":"2003","journal-title":"Proc of ICSOC'03 Volume 2910 of LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"journal-title":"The Concurrency Workbench of the New Century (Version 1 2)","year":"2000","author":"cleaveland","key":"8"}],"event":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","start":{"date-parts":[[2004,7,9]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2004,7,9]]}},"container-title":["Proceedings. IEEE International Conference on Web Services, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9185\/29136\/01314722.pdf?arnumber=1314722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:44Z","timestamp":1497613964000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1314722\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icws.2004.1314722","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}