{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T18:34:56Z","timestamp":1757615696785,"version":"3.44.0"},"reference-count":9,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1996,4,1]],"date-time":"1996-04-01T00:00:00Z","timestamp":828316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1996,4,1]],"date-time":"1996-04-01T00:00:00Z","timestamp":828316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"funder":[{"DOI":"10.13039\/100007684","name":"Asahi Glass Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007684","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001700","name":"Ministry of Education, Culture, Sports, Science and Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001700","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1996,4]]},"DOI":"10.1016\/0020-0190(96)00038-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:21:21Z","timestamp":1027606881000},"page":"97-104","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["Extension of synthesis algorithm of recursive processes to \u03bc-calculus"],"prefix":"10.1016","volume":"58","author":[{"given":"Shigetomo","family":"Kimura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atsushi","family":"Togashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norio","family":"Shiratori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0020-0190(96)00038-5_BIB1","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/S0019-9958(86)80038-9","article-title":"A logic for the description of non-deterministic programs and their properties","volume":"68","author":"Graf","year":"1986","journal-title":"Inform. and Control"},{"key":"10.1016\/0020-0190(96)00038-5_BIB2","first-page":"379","article-title":"Synthesis algorithm for recursive processes by \u03bc-calculus","volume":"872","author":"Kimura","year":"1994"},{"key":"10.1016\/0020-0190(96)00038-5_BIB3","unstructured":"S. Kimura, A. Togashi and N. Shiratori, Inductive synthesis of recursive processes from logical properties, Manuscript."},{"key":"10.1016\/0020-0190(96)00038-5_BIB4","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","article-title":"Results on the propositional \u03bc-calculus","volume":"27","author":"Kozen","year":"1983","journal-title":"Theoret. Comput. Sci."},{"year":"1989","series-title":"Communication and Concurrency","author":"Milner","key":"10.1016\/0020-0190(96)00038-5_BIB5"},{"article-title":"Inductive inference of theories from facts","year":"1981","author":"Shapiro","key":"10.1016\/0020-0190(96)00038-5_BIB6"},{"key":"10.1016\/0020-0190(96)00038-5_BIB7","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(87)90012-0","article-title":"Modal logics for communicating systems","volume":"49","author":"Stirling","year":"1987","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0020-0190(96)00038-5_BIB8","first-page":"2","article-title":"An introduction to modal and temporal logics for CCS","volume":"491","author":"Stirling","year":"1991"},{"key":"10.1016\/0020-0190(96)00038-5_BIB9","first-page":"1594","article-title":"Inductive inference of algebraic processes based on Hennessy-Milner logic","author":"Togashi","year":"1994","journal-title":"Trans. IEICE E77-A-10"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019096000385?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019096000385?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T14:58:26Z","timestamp":1757084306000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0020019096000385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["0020019096000385"],"URL":"https:\/\/doi.org\/10.1016\/0020-0190(96)00038-5","relation":{},"ISSN":["0020-0190"],"issn-type":[{"type":"print","value":"0020-0190"}],"subject":[],"published":{"date-parts":[[1996,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Extension of synthesis algorithm of recursive processes to \u03bc-calculus","name":"articletitle","label":"Article Title"},{"value":"Information Processing Letters","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0020-0190(96)00038-5","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1996 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}