{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T21:25:57Z","timestamp":1649193957665},"reference-count":0,"publisher":"Inderscience Publishers","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJIIDS"],"published-print":{"date-parts":[[2012]]},"DOI":"10.1504\/ijiids.2012.045847","type":"journal-article","created":{"date-parts":[[2012,3,15]],"date-time":"2012-03-15T13:21:33Z","timestamp":1331817693000},"page":"154","source":"Crossref","is-referenced-by-count":0,"title":["Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus"],"prefix":"10.1504","volume":"6","author":[{"given":"Pablo D. Robles","family":"Granda","sequence":"first","affiliation":[]},{"given":"Elham S.","family":"Khorasani","sequence":"additional","affiliation":[]},{"given":"Shahram","family":"Rahimi","sequence":"additional","affiliation":[]},{"given":"Norman","family":"Carver","sequence":"additional","affiliation":[]}],"member":"378","container-title":["International Journal of Intelligent Information and Database Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2012,3,15]],"date-time":"2012-03-15T13:22:34Z","timestamp":1331817754000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.inderscience.com\/link.php?id=45847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":0,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012]]}},"URL":"https:\/\/doi.org\/10.1504\/ijiids.2012.045847","relation":{},"ISSN":["1751-5858","1751-5866"],"issn-type":[{"value":"1751-5858","type":"print"},{"value":"1751-5866","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}