timed process semantics