Discrete time process algebra (revised version of P9208b)