The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
The most natural, compositional, way of modeling real-time systems uses a dense domain for time.The satistiability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable.We introduce a temporal language that can constrain the time difference between events only with finite, yet arbitrary, precision and show the resulting logic to be EXPSPACE-complete.This result allows us to develop an algorithm for the verification of timing properties of real-time systems with a dense semantics.
How it got here
How it got here
agent via openalex
Added
2026-10-26 21:41 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{alur1996benefits,
title = {The benefits of relaxing punctuality},
author = {Rajeev Alur and Tomás Feder and Thomas A. Henzinger},
year = {1996},
journal = {ACM Symposium on Principles of Distributed Computing (PODC)},
volume = {43},
number = {1},
pages = {116--146},
doi = {10.1145/112600.112613},
}
This record lives at https://refs.drheap.org/alur1996benefits/ and will keep
doing so. It used to be called a1991benefits, alur1991benefits, and those addresses still resolve to this one.