Reactors: A Deterministic Model Of Concurrent Computation For Reactive Systems