Abstract
Prex iteration x is added to Basic Process Algebra with deadlock and
empty process. We present a nite equational axiomatization for this process
algebra, and we prove that this axiomatization is complete with respect to
strong bisimulation equivalence. This result is a mild generalization of a similar
result in the setting of basic CCS
... read more