- Full text PDF available (3)
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)
BACKGROUND To improve the information for and preparation of citizens at risk to hazardous material transport accidents, a first important step is to determine how different characteristics of hazardous material transport accidents will influence citizens' protective behaviour. However, quantitative studies investigating citizens' protective behaviour in… (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.