{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T11:10:55Z","timestamp":1648984255902},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2004,5,1]],"date-time":"2004-05-01T00:00:00Z","timestamp":1083369600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2004,5]]},"DOI":"10.1007\/bf02944906","type":"journal-article","created":{"date-parts":[[2008,9,7]],"date-time":"2008-09-07T16:15:00Z","timestamp":1220804100000},"page":"364-373","source":"Crossref","is-referenced-by-count":0,"title":["Process algebra approach to reasoning about concurrent actions"],"prefix":"10.1007","volume":"19","author":[{"given":"Yuan","family":"Feng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming-Sheng","family":"Ying","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02944906_CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R Reiter","year":"1991","unstructured":"Reiter R. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Lifschitz V (Ed.). Academic Press, New York, 1991, pp.359\u2013380."},{"key":"BF02944906_CR2","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M Gelfong","year":"1993","unstructured":"Gelfong M, Lifschitz V. Representing action and change by logic programs.J. Logic Programming, 1993, 17: 301\u2013322.","journal-title":"J. Logic Programming"},{"key":"BF02944906_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(98)00104-0","volume":"107","author":"X J Chen","year":"1999","unstructured":"Chen X J, De Giacomo G. Reasoning about nondeterministic and concurrent actions: A process algebra approach.Artificial Intelligence, 1999, 107: 63\u201398.","journal-title":"Artificial Intelligence"},{"key":"BF02944906_CR4","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner R. Communication and Concurrency. Prentice Hall, New York, 1989."},{"key":"BF02944906_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0123-3","volume-title":"Topology in Process Calculus: Approximate Correctness and Infinite Evolution","author":"M S Ying","year":"2001","unstructured":"Ying M S. Topology in Process Calculus: Approximate Correctness and Infinite Evolution. Springer-Verlag, New York, 2001."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02944906.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02944906\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02944906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:15:24Z","timestamp":1558469724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02944906"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,5]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,5]]}},"alternative-id":["BF02944906"],"URL":"https:\/\/doi.org\/10.1007\/bf02944906","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,5]]}}}