{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T03:43:00Z","timestamp":1714621380022},"reference-count":0,"publisher":"WORLD SCIENTIFIC","isbn-type":[{"value":"9789810207762","type":"print"},{"value":"9789814360128","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991,9]]},"DOI":"10.1142\/9789814360128_0003","type":"book-chapter","created":{"date-parts":[[2012,7,18]],"date-time":"2012-07-18T22:29:46Z","timestamp":1342650586000},"page":"39-59","source":"Crossref","is-referenced-by-count":0,"title":["An Algebraic Method For Verifying Progress Property of Communication Protocols"],"prefix":"10.1142","author":[{"given":"Teruo","family":"HIGASHINO","sequence":"first","affiliation":[{"name":"Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, Toyonaka, Osaka 560, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenichi","family":"TANIGUCHI","sequence":"additional","affiliation":[{"name":"Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, Toyonaka, Osaka 560, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tadao","family":"KASAMI","sequence":"additional","affiliation":[{"name":"Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, Toyonaka, Osaka 560, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoru","family":"FUJII","sequence":"additional","affiliation":[{"name":"Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, Toyonaka, Osaka 560, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masaaki","family":"MORI","sequence":"additional","affiliation":[{"name":"Department of Management Science, Faculty of Economics, Shiga University, Hikone, Shiga 522, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,1,26]]},"container-title":["Software Science and Engineering"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T22:37:39Z","timestamp":1500503859000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/9789814360128_0003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,9]]},"ISBN":["9789810207762","9789814360128"],"references-count":0,"alternative-id":["10.1142\/9789814360128_0003","10.1142\/1496"],"URL":"https:\/\/doi.org\/10.1142\/9789814360128_0003","relation":{},"subject":[],"published":{"date-parts":[[1991,9]]}}}