A Hardware Semantics Based on Temporal Intervals.

Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski

Browse the full ICALP paper archive.