Abstract Real-Time Future