{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T17:11:59Z","timestamp":1648573919863},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1007\/bf02946611","type":"journal-article","created":{"date-parts":[[2008,9,5]],"date-time":"2008-09-05T01:40:56Z","timestamp":1220578856000},"page":"25-31","source":"Crossref","is-referenced-by-count":0,"title":["Completeness of the accumulation calculus"],"prefix":"10.1007","volume":"13","author":[{"given":"Huiqun","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoxin","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongqiang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02946611_CR1","doi-asserted-by":"crossref","unstructured":"Pnueli A. The temporal logic of programs. In18th Ann. IEEE Symp. on Foundations of Computer Science, 1977, pp.46\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"key":"BF02946611_CR2","series-title":"Technical Report","volume-title":"Temporal Logic of Actions","author":"L Lamport","year":"1991","unstructured":"Lamport L. Temporal Logic of Actions. Technical Report 79, Systems Research Center of DEC, USA, 1991."},{"key":"BF02946611_CR3","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z Manna","year":"1993","unstructured":"Manna Z, Pnueli A. Models for reactivity.Acta Informatica, 1993, 30: 609\u2013678.","journal-title":"Acta Informatica"},{"issue":"2","key":"BF02946611_CR4","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B Moszkowski","year":"1985","unstructured":"Moszkowski B. A temporal logic for multi-level reasoning about hard ware.IEEE Computer, 1985, 18(2): 10\u201319.","journal-title":"IEEE Computer"},{"issue":"5","key":"BF02946611_CR5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Chaochen Zhou","year":"1991","unstructured":"Zhou Chaochen, Hoare C A R, Ravn A P. A calculus of durations.Information Processing Letters, 1991, 40(5): 269\u2013276.","journal-title":"Information Processing Letters"},{"key":"BF02946611_CR6","doi-asserted-by":"crossref","unstructured":"Yu Huiqun, Pandya P K, Sun Yongqiang. A calculus for hybrid sampled data systems. InFormal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, Langmaack H, de Rover W P, Vytopil J (eds.), Springer Verlag, 1994, pp.716\u2013737.","DOI":"10.1007\/3-540-58468-4_192"},{"key":"BF02946611_CR7","doi-asserted-by":"crossref","unstructured":"Hansen M R, Zhou Chaochen. Semantics and completeness of duration calculus. InReal-Time: Theory in Practice, LNCS 600, de Bakker J W, Huizing C, de Roever W P, Rozenberg G (eds.), Springer-Verlag, 1992, pp.209\u2013225.","DOI":"10.1007\/BFb0031994"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02946611.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02946611\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02946611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:17:13Z","timestamp":1558469833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02946611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["BF02946611"],"URL":"https:\/\/doi.org\/10.1007\/bf02946611","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}