{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T21:54:01Z","timestamp":1683842041391},"reference-count":16,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3742,"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":[[2003,5]]},"DOI":"10.1016\/s1571-0661(04)80517-6","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"1-15","source":"Crossref","is-referenced-by-count":1,"title":["An Algebraic Approach for Compiling Real-Time Programs"],"prefix":"10.1016","volume":"68","author":[{"given":"Alvaro E.","family":"Arenas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB1","unstructured":"A. E. Arenas. Implementation of an Asynchronous Real-Time Programming Language. D. Phil Thesis, Oxford University Computing Laboratory, 2000."},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB2","unstructured":"A. E. Arenas. A Specification-Oriented Semantics for Asynchronous Real-Time Programming. In Proceedings of CLEI'2001, XXVII Conferencia Latinoamericana de Inform\u00e1tica, 2001."},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB3","series-title":"Towards Verified Systems, volume 2 of Real-Time Safety Critical Systems","year":"1994"},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB4","unstructured":"J. P. Bowen, C. A. R. Hoare, H. Langmaack, E.-R. Olderog, and A. P. Ravn. A ProCoS II Project Final Report: ESPRIT Basic Research Project 7071. Bulletin of the European Association for Theoretical Computer Science (EATCS), 59: 76\u201399, 1996."},{"issue":"6","key":"10.1016\/S1571-0661(04)80517-6_NEWBIB5","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1007\/BF01211248","article-title":"Recursion Induction for Real-Time Processes","volume":"5","author":"Davies","year":"1993","journal-title":"Formal Aspects of Computing"},{"issue":"2","key":"10.1016\/S1571-0661(04)80517-6_NEWBIB6","first-page":"104","article-title":"The Deadline Command","volume":"146","author":"Fidge","year":"1999","journal-title":"Software"},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB7","doi-asserted-by":"crossref","unstructured":"R. W. S. Hale. Program Compilation. In Bowen [3], chapter 7, pages 131\u2013146.","DOI":"10.1016\/B978-0-444-89901-9.50016-1"},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB8","series-title":"3rd Refinement Workshop","first-page":"33","article-title":"Refinement Algebra Proves Correctness of Compiling Specifications","author":"Hoare","year":"1991"},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB9","series-title":"Unifying Theories of Programming","author":"Hoare","year":"1998"},{"issue":"8","key":"10.1016\/S1571-0661(04)80517-6_NEWBIB10","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1007\/BF01191809","article-title":"Normal Form Approach to Compiler Design","volume":"30","author":"Hoare","year":"1993","journal-title":"Acta Informatica"},{"issue":"5","key":"10.1016\/S1571-0661(04)80517-6_NEWBIB11","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","article-title":"Finding Response Times in a Real-Time System","volume":"29","author":"Joseph","year":"1986","journal-title":"The Computer Journal"},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB12","doi-asserted-by":"crossref","unstructured":"K. N. Kumar and P. K. Pandya. ICSP and its Relationship with ACSP and CSP. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, volume 761 of Lecture Notes in Computer Science, pages 358\u2013372. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57529-4_69"},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB13","doi-asserted-by":"crossref","unstructured":"K. Lermer and C. Fidge. A Formal Model of Real-Time Program Compilation. In J. P. Katoen, editor, Formal Methods for Real-Time and Probabilistic Systems, volume 1601 of Lecture Notes in Computer Science, pages 192\u2013210. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48778-6_12"},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB14","doi-asserted-by":"crossref","unstructured":"M. M\u00fcller-Olm. Modular Compiler Verification, volume 1283 of Lecture Notes in Computer Science. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0027453"},{"issue":"12","key":"10.1016\/S1571-0661(04)80517-6_NEWBIB15","doi-asserted-by":"crossref","first-page":"1603","DOI":"10.1016\/0169-7552(95)00120-4","article-title":"Introduction to SDL-92","volume":"28","author":"Sarma","year":"1996","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S1571-0661(04)80517-6_NEWBIB16","doi-asserted-by":"crossref","unstructured":"B. Selic. Real-Time Object-Oriented Modeling (ROOM). In IEEE Real-Time Technology and Applications Symposium (RTAS '96), pages 214\u2013219. IEEE Computer Society Press, 1996.","DOI":"10.1109\/RTTAS.1996.509538"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805176?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805176?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:11:37Z","timestamp":1585897897000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":16,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["S1571066104805176"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80517-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}