{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,10]],"date-time":"2024-03-10T23:10:09Z","timestamp":1710112209651},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"2","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2009,2]]},"abstract":"The article \u201cTemporal Logics for Real-Time System Specification\u201d surveys some of the relevant literature dealing with the use of temporal logics for the specification of real-time systems. Unfortunately, it introduces some imprecisions that might create some confusion in the reader. While a certain degree of informality is certainly useful when addressing a broad audience, imprecisions can negatively impact the legibility of the exposition. We clarify some of its remarks on a few topics, in an effort to contribute to the usefulness of the survey for the reader.<\/jats:p>","DOI":"10.1145\/1459352.1459358","type":"journal-article","created":{"date-parts":[[2009,2,25]],"date-time":"2009-02-25T14:44:30Z","timestamp":1235573070000},"page":"1-5","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Comments on temporal logics for real-time system specification"],"prefix":"10.1145","volume":"41","author":[{"given":"Carlo A.","family":"Furia","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}]},{"given":"Matteo","family":"Pradella","sequence":"additional","affiliation":[{"name":"Consiglio Nazionale delle Ricerche, Milan, Italy"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}]}],"member":"320","published-online":{"date-parts":[[2009,2,23]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1025"},{"key":"e_1_2_1_2_1","unstructured":"Andrews P. B. 1992. An Introduction to Mathematical Logic and Type Theory. Academic Press New York NY. Andrews P. B. 1992. An Introduction to Mathematical Logic and Type Theory. Academic Press New York NY."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/349194.349197"},{"key":"e_1_2_1_4_1","volume-title":"Handbook of Theoretical Computer Science","author":"Emerson E. A."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/201024.201034"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019461"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the Workshop on Executable Modal and Temporal Logics.","author":"Fisher M."},{"key":"e_1_2_1_8_1","unstructured":"Furia C. A. Pradella M. and Rossi M. 2008. Comments on \u2018Temporal logics for real-time system specification.\u2019 Tech. rep. 2008.7. DEI Politecnico di Milano Milan Italy. Furia C. A. Pradella M. and Rossi M. 2008. Comments on \u2018Temporal logics for real-time system specification.\u2019 Tech. rep. 2008.7. DEI Politecnico di Milano Milan Italy."},{"key":"e_1_2_1_9_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceeding of TLS'87","author":"Gabbay D. M."},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Gabbay D. M. Hodkinson I. and Reynolds M. 1994. Temporal Logic (vol. 1): Mathematical Foundations and Computational Aspects. Oxford University Press Oxford U.K. Gabbay D. M. Hodkinson I. and Reynolds M. 1994. Temporal Logic (vol. 1): Mathematical Foundations and Computational Aspects. Oxford University Press Oxford U.K.","DOI":"10.1093\/oso\/9780198537694.003.0001"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567462"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00163-9"},{"key":"e_1_2_1_13_1","unstructured":"Kamp J. A. W. 1968. Tense logic and the theory of linear order. Ph.D. dissertation. University of California at Los Angeles Los Angeles CA. Kamp J. A. W. 1968. Tense logic and the theory of linear order. Ph.D. dissertation. University of California at Los Angeles Los Angeles CA."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_2_1_15_1","series-title":"Lecture Notes in Computer Science","volume-title":"Real-Time: Theory in Practice","author":"Koymans R."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.910858"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Moszkowski B. 1986. Executing Temporal Logic Programs. Cambridge University Press Cambridge U.K. Moszkowski B. 1986. Executing Temporal Logic Programs. Cambridge University Press Cambridge U.K.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11867340_23"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(83)80051-5"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1459352.1459358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,10]],"date-time":"2024-03-10T22:34:56Z","timestamp":1710110096000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1459352.1459358"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,2]]}},"alternative-id":["10.1145\/1459352.1459358"],"URL":"https:\/\/doi.org\/10.1145\/1459352.1459358","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2]]},"assertion":[{"value":"2005-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}