BIROn - Birkbeck Institutional Research Online

    On the complete axiomatization for prefix iteration modulo observation congruence

    Chen, Taolue and Han, Tingting and Lu, J. (2006) On the complete axiomatization for prefix iteration modulo observation congruence. Acta Cybernetica 17 (3), pp. 471-483. ISSN 0324-721X.

    Full text not available from this repository.


    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.


    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 09 Feb 2021 18:29
    Last Modified: 09 Aug 2023 12:50


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item