1996
A note on n similar parallel processes
Publication
Publication
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)$.
Additional Metadata | |
---|---|
, | |
, | |
CWI | |
Department of Computer Science [CS] | |
Groote, J. F. (1996). A note on n similar parallel processes. Department of Computer Science [CS]. CWI. |