{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:32:09Z","timestamp":1720625529138},"reference-count":9,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4920,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s1571-0661(04)00157-4","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"197-210","source":"Crossref","is-referenced-by-count":6,"special_numbering":"C","title":["Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I"],"prefix":"10.1016","volume":"48","author":[{"given":"Moreno","family":"Falaschi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alicia","family":"Villanueva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00157-4_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Clarke E., O. Grumberg and D. E. Long, Model checking, Springer-Verlag Nato ASI Series F 152 (1996).","DOI":"10.1007\/978-3-642-61455-2_16"},{"key":"10.1016\/S1571-0661(04)00157-4_NEWBIB2","series-title":"\u201cModel Checking\u201d","author":"Clarke","year":"1999"},{"key":"10.1016\/S1571-0661(04)00157-4_NEWBIB3","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite-state concurrent systems using temporal logic specifications","volume":"8","author":"Clarke","year":"1986","journal-title":"toplas"},{"key":"10.1016\/S1571-0661(04)00157-4_NEWBIB4","series-title":"Real Time: Theory in Practice, Lecture Notes in Computer Science 600","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BFb0031995","article-title":"Timed transition systems","author":"Henzinger","year":"1992"},{"key":"10.1016\/S1571-0661(04)00157-4_NEWBIB5","series-title":"\u201cTemporal Verification of Reactive Systems. Safety\u201d","author":"Manna","year":"1995"},{"key":"10.1016\/S1571-0661(04)00157-4_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Saraswat, V. A., R. Jagadeesan and V. Gupta, Foundations of timed concurrent constraint programming, in: S. Abramsky, editor, Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science (1994), pp. 71\u201380.","DOI":"10.1109\/LICS.1994.316085"},{"key":"10.1016\/S1571-0661(04)00157-4_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Saraswat, V. A., R. Jagadeesan and V. Gupta, Programming in timed concurrent constraint programming, in: B. Mayoh, E. Tyugu and J. Penjaam, editors, Constraint Programming: Proceedings 1993 NATO ASI Parnu, Estonia, Springer Verlag, 1994, pp. 361\u2013410.","DOI":"10.1007\/978-3-642-85983-0_15"},{"key":"10.1016\/S1571-0661(04)00157-4_NEWBIB8","series-title":"Computer-Aided Verification, 8th International Conference (CAV'96), Lecture Notes in Computer Science 1102","first-page":"209","article-title":"Deductive model checking","author":"Sipma","year":"1996"},{"key":"10.1016\/S1571-0661(04)00157-4_NEWBIB9","unstructured":"V. A. Saraswat, R. Jagadeesan, and V. Gupta, Timed default concurrent constraint programming, Journal of Symbolic Computation 22 (1996), pp. 475\u2013520, extended abstract appeared in the Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, San Francisco, January 1995."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001574?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001574?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T06:57:33Z","timestamp":1550213853000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":9,"alternative-id":["S1571066104001574"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00157-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}