{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:52:19Z","timestamp":1767138739659,"version":"build-2238731810"},"reference-count":20,"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\/bf02944904","type":"journal-article","created":{"date-parts":[[2008,9,7]],"date-time":"2008-09-07T12:15:00Z","timestamp":1220789700000},"page":"341-351","source":"Crossref","is-referenced-by-count":40,"title":["A framed temporal logic programming language"],"prefix":"10.1007","volume":"19","author":[{"given":"Zhen-Hua","family":"Duan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02944904_CR1","unstructured":"Barringer H, Fisher M, Gabbay Det al. METATEM: A framework for programming in temporal logic. InProc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formulisms, Correctness, Mook, Netherlands,Lecture Notes in Computer Science 430, Springer-Verlag, 1989, pp. 94\u2013129."},{"key":"BF02944904_CR2","doi-asserted-by":"crossref","unstructured":"Fujita M, Kono S, Tanaka Het al. Tokio: Logic programming language based on temporal logic and its compilation to PROLOG.Third International Conference on Logic Programming, London, Lecture Notes in Computer Science 225, Springer-Verlag, July, 1986, pp. 695\u2013709.","DOI":"10.1007\/3-540-16492-8_119"},{"key":"BF02944904_CR3","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport L. The temporal logic of actions,ACM TOPLAS, 1994, 16: 872\u2013923.","journal-title":"ACM TOPLAS"},{"key":"BF02944904_CR4","volume-title":"Executing Temporal Logic Programs","author":"B Moszkowski","year":"1986","unstructured":"Moszkowski B. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, 1986."},{"key":"BF02944904_CR5","first-page":"425","volume-title":"Proc. IFIP Congress 83","author":"C S Tang","year":"1983","unstructured":"Tang C S. Toward a unified logic basis for programming languages. InProc. IFIP Congress 83, Amsterdam, Elsevier Science Publishers B.V. (North-Holland), 1983, pp. 425\u2013429."},{"issue":"1","key":"BF02944904_CR6","first-page":"1","volume":"1","author":"C S Tang","year":"1994","unstructured":"Tang C S. A temporal logic language oriented toward software engineering \u2014 Introduction to XYZ system (I).Chinese Journal of Advanced Software Research, 1994, 1(1): 1\u201327.","journal-title":"Chinese Journal of Advanced Software Research"},{"key":"BF02944904_CR7","doi-asserted-by":"crossref","unstructured":"Duan Z, Koutny M, Holt C. Projection in temporal logic programming. In:Proc. 5th International Conference on Logic Programming and Automated Reasoning, Lecture Notes in Computer Science 822, Springer, 1994, pp. 333\u2013344.","DOI":"10.1007\/3-540-58216-9_48"},{"key":"BF02944904_CR8","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner R. Communication and Concurrency. Prentice Hall, London, 1989."},{"key":"BF02944904_CR9","volume-title":"Communicating Sequential Processes","author":"C A R Hoare","year":"1985","unstructured":"Hoare C A R. Communicating Sequential Processes. Prentice Hall International, London, 1985."},{"key":"BF02944904_CR10","doi-asserted-by":"crossref","unstructured":"Manna Z, Pnueli A. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"BF02944904_CR11","unstructured":"Duan Z. An extended interval temporal logic and a framing technique for temporal logic programming [Dissertation]. Technical Report 556, Department of Computing Science, University of Newcastle upon Tyne, September, 1996."},{"issue":"1\/2","key":"BF02944904_CR12","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D McDermott","year":"1980","unstructured":"McDermott D. Non-monotonic logic I.Artificial Intelligence, 1980, 13(1\/2): 41\u201372.","journal-title":"Artificial Intelligence"},{"issue":"1\/2","key":"BF02944904_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy J. Circumscription \u2014 A form of non-monotonic reasoning.Artificial Intelligence, 1980, 13(1\/2): 27\u201339.","journal-title":"Artificial Intelligence"},{"issue":"1\/2","key":"BF02944904_CR14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R. A logic for default reasoning.Artificial Intelligence, 1980, 13(1\/2): 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"BF02944904_CR15","unstructured":"Rosner R, Pnueli A. A. choppy logic. InProc. First Annual IEEE Symposium on Logic in Computer Science, 1986, pp. 306\u2013314."},{"key":"BF02944904_CR16","doi-asserted-by":"crossref","unstructured":"Kr\u00f6ger F. Temporal Logic of Programs. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-71549-5"},{"key":"BF02944904_CR17","series-title":"IFIP Transactions A-56","first-page":"307","volume-title":"Programming Concepts, Methods and Calculi","author":"B Moszkowski","year":"1994","unstructured":"Moszkowski B. Some very compositional temporal properties. InProgramming Concepts, Methods and Calculi. Olderog E R (Ed.) IFIP Transactions A-56, pp. 307\u2013326. IFIP, Elsevier Science B.V., North-Holland, 1994."},{"issue":"8","key":"BF02944904_CR18","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E W Dijkstra","year":"1975","unstructured":"Dijkstra E W. Guarded commands, nondeterminacy, and formal derivation of programs.Communication of the ACM, 1975, 18(8): 453\u2013457.","journal-title":"Communication of the ACM"},{"key":"BF02944904_CR19","first-page":"13","volume":"4","author":"Z Duan","year":"1990","unstructured":"Duan Z. An algorithm of constructing even order magic square.Chinese Journal of Micro-Electronics and Computer, 1990, 4: 13\u201316.","journal-title":"Chinese Journal of Micro-Electronics and Computer"},{"key":"BF02944904_CR20","volume-title":"Principles of Concurrent Programming","author":"M Ben-Ari","year":"1982","unstructured":"Ben-Ari M. Principles of Concurrent Programming. Prentice-Hall International, London, England, New Jersey, 1982."}],"updated-by":[{"DOI":"10.1007\/bf02973464","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2008,10,11]],"date-time":"2008-10-11T00:00:00Z","timestamp":1223683200000}}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02944904.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02944904\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02944904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T16:15:24Z","timestamp":1558455324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02944904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,5]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,5]]}},"alternative-id":["BF02944904"],"URL":"https:\/\/doi.org\/10.1007\/bf02944904","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,5]]}}}