We show that defining a finite but unbounded number of parallel processes using the equation $S(k,dt)=P(0,get(0,dt))lef eq(k,0)rig (S(k-1,dt)parallel P(k,get(k,dt)) )$ is well defined, if one adopts the principle CL-RSP. We also provide means to easily derive a linear process equation with the same behaviour as $S(k,dt)$.

,
,
CWI
Department of Computer Science [CS]

Groote, J.F. (1996). A note on n similar parallel processes. Department of Computer Science [CS]. CWI.