✦ LIBER ✦

A note on an expressiveness hierarchy for multi-exit iteration

✍ Scribed by Luca Aceto; Wan Fokkink; Anna Ingólfsdóttir

Book ID: 104136952
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 103 KB
Volume: 87
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(03)00234-5

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

On the characterization of strong conver

On the characterization of strong convergence of an iterative algorithm for a class of multi-valued variational inclusions

✍ L. C. Ceng; S. Schaible; J. C. Yao 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 183 KB

Mass transfer with homogeneous second or

Mass transfer with homogeneous second order irreversible reaction a note on an explicit expression for the reaction factor

✍ A.A. Yeramian; J.C. Gottifredi; J.J. Ronco 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 311 KB

RONCO and Coeuret [ l] succeeded in predicting the rate of mass transfer with homogeneous second order irreversible reaction through a unique expression derived after using the reaction factor criterium. A thorough comparison among most of the available, theoretical and experimental, expressions fo