Discrete-time process algebra door J.J. Vereijken