#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1980

2015

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- A. Bergstra, Inge Bethke
- 1994

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)

- A. Bergstra, H. J. M. Goeman, Alexander Ollongren, G. A. Terpstra, Theo P. van der Weide
- Fundam. Inform.
- 1980

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.

- ‹
- 1
- ›