A note on an expressiveness hierarchy for multi-exit iteration

Rannsóknarafurð: Framlag til fræðitímaritsGreinritrýni

Útdráttur

Multi-exit iteration is a generalization of the standard binary Kleene star operation. The addition of this construct 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.

Upprunalegt tungumálEnska
Síður (frá-til)17-23
Síðufjöldi7
FræðitímaritInformation Processing Letters
Bindi87
Númer tölublaðs1
DOI
ÚtgáfustaðaÚtgefið - 16 júl. 2003

Fingerprint

Sökktu þér í rannsóknarefni „A note on an expressiveness hierarchy for multi-exit iteration“. Saman myndar þetta einstakt fingrafar.

Vitna í þetta