TY - JOUR
AU - Aceto, Luca
AU - Fokkink, Willem Jan
AU - Ingólfsdóttir, Anna
PY - 2002/09/04
Y2 - 2023/09/29
TI - A Note on an Expressiveness Hierarchy for Multi-exit Iteration
JF - BRICS Report Series
JA - BRICS
VL - 9
IS - 40
SE - Articles
DO - 10.7146/brics.v9i40.21755
UR - https://tidsskrift.dk/brics/article/view/21755
SP -
AB - Multi-exit iteration is a generalization of the standard binary Kleene star operation that allows for the specification of agents that, up to bisimulation equivalence, are solutions of systems of recursion equations of the form<br />X_1 = P_1 X_2 + Q_1 <br /><br /> X_n = P_n X_1 + Q_n <br /><br /> where n is a positive integer, and the P_i and the Q_i are process terms. The addition of multi-exit iteration to Basic Process Algebra (BPA) yields a more expressive language than that obtained by augmenting BPA with the standard binary Kleene star. This note offers an expressiveness hierarchy, modulo bisimulation equivalence, for the family of multi-exit iteration operators proposed by Bergstra, Bethke and Ponse.
ER -