Axiomatizations for the Perpetual Loop in Process Algebra

Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this paper, Milner’s axioms are adapted to no-exit iteration xω , which executes x infinitely many times in a row, and it is shown that this axiomatization is complete for no-exit iteration in basic process algebra with deadlock and empty process, modulo bisimulation.

• Type: Conference
• Year: 1997
• Where: ICALP
• Authors: Wan Fokkink
• Keywords: Basic Process Algebra, ICALP 1997, Modulo Bisimulation, Modulo Bisimulation Equivalence, Programming Languages