{"_id":"4500","language":[{"iso":"eng"}],"conference":{"name":"ICALP: Automata, Languages and Programming","start_date":"1995-07-10","location":"Szeged, Hungary","end_date":"1995-07-14"},"citation":{"ieee":"T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” in <i>22nd International Colloquium on Automata, Languages and Programming </i>, Szeged, Hungary, 1995, vol. 944, pp. 417–428.","mla":"Henzinger, Thomas A., et al. “The Expressive Power of Clocks.” <i>22nd International Colloquium on Automata, Languages and Programming </i>, vol. 944, Springer, 1995, pp. 417–28, doi:<a href=\"https://doi.org/10.1007/3-540-60084-1_93\">10.1007/3-540-60084-1_93</a>.","short":"T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 417–428.","apa":"Henzinger, T. A., Kopke, P., &#38; Wong Toi, H. (1995). The expressive power of clocks. In <i>22nd International Colloquium on Automata, Languages and Programming </i> (Vol. 944, pp. 417–428). Szeged, Hungary: Springer. <a href=\"https://doi.org/10.1007/3-540-60084-1_93\">https://doi.org/10.1007/3-540-60084-1_93</a>","ista":"Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 417–428.","chicago":"Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks.” In <i>22nd International Colloquium on Automata, Languages and Programming </i>, 944:417–28. Springer, 1995. <a href=\"https://doi.org/10.1007/3-540-60084-1_93\">https://doi.org/10.1007/3-540-60084-1_93</a>.","ama":"Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: <i>22nd International Colloquium on Automata, Languages and Programming </i>. Vol 944. Springer; 1995:417-428. doi:<a href=\"https://doi.org/10.1007/3-540-60084-1_93\">10.1007/3-540-60084-1_93</a>"},"publication_identifier":{"isbn":["9783540600848"]},"author":[{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"full_name":"Kopke, Peter","first_name":"Peter","last_name":"Kopke"},{"first_name":"Howard","last_name":"Wong Toi","full_name":"Wong Toi, Howard"}],"publication":"22nd International Colloquium on Automata, Languages and Programming ","page":"417 - 428","doi":"10.1007/3-540-60084-1_93","acknowledgement":"This research was supported in part by the National Science Foundation under grant CCR-9200794, by the United States Air Force Office of Scientific Research under contract F49620-93-1-0056, by the Defense Advanced Research Projects Agency under grant NAG2-892, and by the U.S. Army Research Office through the Mathematical Sciences Institute of Cornell University, Contract Number DAAL03-91-C-0027.\r\nThe full version of this paper is available from the Department of Computer Science, Cornell University, Ithaca, NY 14853, as Technical Report TR95-1496.","year":"1995","publist_id":"229","volume":944,"intvolume":"       944","abstract":[{"lang":"eng","text":"We investigate the expressive power of timing restrictions on labeled transition systems. In particular, we show how constraints on clock variables together with a uniform liveness condition—the divergence of time—can express Büchi, Muller, Streett, Rabin, and weak and strong fairness conditions on a given labeled transition system. We then consider the effect, on both timed and time-abstract expressiveness, of varying the following parameters: time domain (discrete or dense), number of clocks, number of states, and size of constants used in timing restrictions."}],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60084-1_93"}],"publication_status":"published","date_published":"1995-01-01T00:00:00Z","extern":"1","date_updated":"2022-06-09T14:58:31Z","article_processing_charge":"No","month":"01","day":"01","type":"conference","alternative_title":["LNCS"],"status":"public","quality_controlled":"1","title":"The expressive power of clocks","publisher":"Springer","date_created":"2018-12-11T12:09:10Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None"}