Title: Discrete-time process algebra