(2001) Theoretical Computer Science, volume 269, pp. 203 - 229
(Article)
Abstract
We consider three forms of non-regular iteration in process algebra: the push-down operation
$, the nesting operation #, and the back and forth operation. show less
Download/Full Text
The full text of this publication is not available.
Keywords: Concurrency, Process algebra, Iteration, Kleene star, Nesting operation, Push-down operation, Back and forth operation, Expressiveness