The Expressive Power of Clocks
| dc.contributor.author | Henzinger, Thomas A. | en_US |
| dc.contributor.author | Kopke, Peter W. | en_US |
| dc.contributor.author | Wong-Toi, Howard | en_US |
| dc.date.accessioned | 2007-04-23T18:01:14Z | |
| dc.date.available | 2007-04-23T18:01:14Z | |
| dc.date.issued | 1995-04 | en_US |
| dc.description.abstract | 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 Buchi, 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. | en_US |
| dc.format.extent | 291152 bytes | |
| dc.format.extent | 365031 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR95-1496 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1813/7154 | |
| dc.language.iso | en_US | en_US |
| dc.publisher | Cornell University | en_US |
| dc.subject | computer science | en_US |
| dc.subject | technical report | en_US |
| dc.title | The Expressive Power of Clocks | en_US |
| dc.type | technical report | en_US |