We introduce iteration in process algebra by means of (the binary version of) Kleene's star operator: x y is the process that chooses between x and y, and upon termination of x has this choice again. It is proved that adding respectively interleaving, communication and abstraction operators increases expressivity up to the regular processes. However, if the… (More)
We provide a short notation for processes with parallel inputs and outputs. With this speciication format, a certain class of networks, comprising synchronous grid protocols, can be easily speciied and analyzed. We illustrate this by an example on the approximation of a one-dimensional wave equation.