{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:50:08Z","timestamp":1730217008328,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/edocw.2009.5332007","type":"proceedings-article","created":{"date-parts":[[2009,11,20]],"date-time":"2009-11-20T13:31:58Z","timestamp":1258723918000},"page":"107-113","source":"Crossref","is-referenced-by-count":3,"title":["Monitoring safety properties of composite web services at runtime using CSP"],"prefix":"10.1109","author":[{"given":"Mohse","family":"Khaxar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saeed","family":"Jalili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Narges","family":"Khakpour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Shaban","family":"Jokhio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"19","article-title":"Apache-ode"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/11562436_36"},{"journal-title":"Formal Specification and Verification of Digital Systems","year":"1993","author":"milne","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1981.44"},{"journal-title":"The Modelling and Analysis of Security Protocols The CSP Approach","year":"2000","author":"ryan","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1321211.1321217"},{"journal-title":"The Theory and Practice of Concurrency","year":"1997","author":"roscoe","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2006.6"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2003.1232738"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30581-1_5"},{"year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2006.51"},{"key":"10","first-page":"257","article-title":"Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience","volume":"1","author":"mahbub","year":"2005","journal-title":"Web Services 2005 ICWS 2005 Proceedings 2005 IEEE International Conference on"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035182"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s00799-006-0002-5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.113"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453125"},{"year":"0","key":"8"}],"event":{"name":"2009 13th Enterprise Distributed Object Computing Conference Workshops, EDOCW","start":{"date-parts":[[2009,9,1]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2009,9,4]]}},"container-title":["2009 13th Enterprise Distributed Object Computing Conference Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5308790\/5331971\/05332007.pdf?arnumber=5332007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T18:58:00Z","timestamp":1489863480000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5332007\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/edocw.2009.5332007","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}