Information Flow in a Discrete-Time Process Algebra