Non-regular iterators in process algebra
Publication date
2001
Authors
Bergstra, J.A.
Ponse, A.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
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.
Keywords
Concurrency, Process algebra, Iteration, Kleene star, Nesting operation, Push-down operation, Back and forth operation, Expressiveness