{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T21:02:05Z","timestamp":1722978125138},"reference-count":0,"publisher":"International Academy Publishing (IAP)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.17706\/jsw.12.7.570-580","type":"journal-article","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T22:31:20Z","timestamp":1501626680000},"page":"570-580","source":"Crossref","is-referenced-by-count":0,"title":["Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus"],"prefix":"10.17706","volume":"12","author":[{"name":"Tokyo Institute of Technology, 2-12-1-W8-69, Ookayama, Meguroku, Tokyo 152-8552, Japan.","sequence":"first","affiliation":[]},{"given":"Keishi","family":"Watanabe","sequence":"first","affiliation":[]},{"given":"Shin-ya","family":"Nishizaki","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2017,7]]},"container-title":["Journal of Software"],"original-title":[],"link":[{"URL":"http:\/\/www.jsoftware.us\/vol12\/271-SM006.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T22:31:24Z","timestamp":1501626684000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jsoftware.us\/index.php?m=content&c=index&a=show&catid=183&id=2778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":0,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2017,7]]}},"URL":"https:\/\/doi.org\/10.17706\/jsw.12.7.570-580","relation":{},"ISSN":["1796-217X"],"issn-type":[{"type":"electronic","value":"1796-217X"}],"subject":[],"published":{"date-parts":[[2017,7]]}}}