#### Filter Results:

#### Publication Year

1980

2007

#### Publication Type

#### Co-author

#### Publication Venue

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)

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
- ›