1996

Saying what must happen over time

Temporal logic gave reactive systems a language for their long-running promises.