On the complete axiomatization for prefix iteration modulo observation congruence

Authors

  • Taolue Chen
  • Tingting Han
  • Jian Lu

Abstract

Prefix iteration is a variation on the original binary version of the Kleene star operation P*Q, obtained by restricting the first argument to be an atomic action. Aceto and Ingólfsdóttir provided an axiom system for observation congruence over basic CCS with prefix iteration. However hitherto the only direct completeness proof given for such a system is very long and technical. In this paper, we provide a new proof for the completeness of the axiom system in [3], which is a considerable simplification comparing to the original proof. Thus the open problem to find a direct completeness proof is closed.

Downloads

Download data is not yet available.

Downloads

Published

2006-01-01

How to Cite

Chen, T., Han, T., & Lu, J. (2006). On the complete axiomatization for prefix iteration modulo observation congruence. Acta Cybernetica, 17(3), 471–483. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3678

Issue

Section

Regular articles