[{"abstract":[{"lang":"eng"}],"oa_version":"None","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/002001909290005G?via%3Dihub"}],"scopus_import":"1","intvolume":" 43","month":"09","publication_status":"published","publication_identifier":{"issn":[]},"language":[{}],"issue":"3","volume":43,"_id":"4517","type":"journal_article","article_type":"original","status":"public","date_updated":"2022-03-07T11:31:23Z","extern":"1","creator":{"login":"alisjak","id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},"acknowledgement":"The author thanks Martin Abadi, Rajeev Alur, David Dill, Leslie Lamport, Zohar Manna, Amir Pnueli, Fred Schneider, and two anonymous referees for many valuable suggestions and improvements. ","quality_controlled":"1","dc":{"date":["1992"],"publisher":["Elsevier"],"type":["info:eu-repo/semantics/article","doc-type:article","text","http://purl.org/coar/resource_type/c_6501"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.1016/0020-0190(92)90005-G","info:eu-repo/semantics/altIdentifier/issn/0020-0190"],"source":["Henzinger TA. Sooner Is Safer Than Later. Information Processing Letters. 1992;43(3):135-141. doi:10.1016/0020-0190(92)90005-G"],"identifier":["https://research-explorer.ista.ac.at/record/4517"],"description":["It has been observed repeatedly that the standard safety-liveness classification for properties of reactive systems does not fit for real-time properties. This is because the implicit “liveliness” of time shifts the spectrum towards the safety side. While, for example, response—that “something good” will happen eventually—is a classical liveness property, bounded response—that “something good” will happen soon, within a certain amount of time—has many characteristics of safety. We account for this phenomenon formally by defining safety and liveness relative to a given condition, such as the progress of time."],"title":["Sooner Is Safer Than Later"],"language":["eng"],"rights":["info:eu-repo/semantics/closedAccess"],"creator":["Henzinger, Thomas A"]},"publication":"Information Processing Letters","day":"14","page":"135 - 141","uri_base":"https://research-explorer.ista.ac.at","date_created":"2018-12-11T12:09:16Z","date_published":"1992-09-14T00:00:00Z","dini_type":"doc-type:article","citation":{"mla":"Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:10.1016/0020-0190(92)90005-G.","apa":"Henzinger, T. A. (1992). Sooner Is Safer Than Later. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(92)90005-G","short":"T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.","ieee":"T. A. Henzinger, “Sooner Is Safer Than Later,” Information Processing Letters, vol. 43, no. 3. Elsevier, pp. 135–141, 1992.","chicago":"Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters. Elsevier, 1992. https://doi.org/10.1016/0020-0190(92)90005-G.","ista":"Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"}],"publist_id":"211"}]