{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T05:09:24Z","timestamp":1648962564635},"reference-count":6,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"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":4586,"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":[[2002,5]]},"DOI":"10.1016\/s1571-0661(04)00230-0","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T05:14:39Z","timestamp":1075353279000},"page":"306-322","source":"Crossref","is-referenced-by-count":0,"title":["Characterizing Non-Zenoness on Real-Time Processes"],"prefix":"10.1016","volume":"52","author":[{"given":"Jitka","family":"St\u0159\u00edbrn\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00230-0_NEWBIB1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"TCS"},{"key":"10.1016\/S1571-0661(04)00230-0_NEWBIB2","series-title":"In Real-time Systems 15","first-page":"189","article-title":"A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems","author":"Ben-Abdallah","year":"1998"},{"key":"10.1016\/S1571-0661(04)00230-0_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Bornot S., G\u00f6ssler G., and Sifakis J.: On the Construction of Live Timed Systems. In Proceedings of TACAS'00, LNCS 1785, Springer-Verlag, 2000.","DOI":"10.1007\/3-540-46419-0_9"},{"key":"10.1016\/S1571-0661(04)00230-0_NEWBIB4","unstructured":"Br\u00e9mond-Gr\u00e9goire P.: \u201cA Process Algebra of Communicating Shared Resources with Dense Times and Priorities\u201d. PhD Thesis, Department of Computer and Information Science, University of Pennsylvania. Tech. Report MS-CIS-94-24, 1994."},{"key":"10.1016\/S1571-0661(04)00230-0_NEWBIB5","series-title":"\u201cIntroduction to Algorithms\u201d","author":"Cormen","year":"1990"},{"key":"10.1016\/S1571-0661(04)00230-0_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Lee I., Br\u00e9mond-Gr\u00e9goire P., and Gerber R.: A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems. In Proceedings of the IEEE, 82(1):158\u2013171, 1994.","DOI":"10.1109\/5.259433"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002300?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002300?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T04:54:12Z","timestamp":1550206452000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104002300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["S1571066104002300"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00230-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}