Real Time in a TLA-Based Theory of Reactive Systems.

Reino Kurki-Suonio, Mika Katara

Browse the full ISORC paper archive.