On the complete axiomatization for prefix iteration modulo observation congruence

Chen Taolue and Han Tingting and Lu Jian: On the complete axiomatization for prefix iteration modulo observation congruence. In: Acta cybernetica, (17) 3. pp. 471-483. (2006)

[thumbnail of Chen_2006_ActaCybernetica.pdf]
Cikk, tanulmány, mű

Download (139kB) | Preview


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
Journal or Publication Title: Acta cybernetica
Date: 2006
Volume: 17
Number: 3
ISSN: 0324-721X
Page Range: pp. 471-483
Language: English
Place of Publication: Szeged
Related URLs: http://acta.bibl.u-szeged.hu/38521/
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: p. 482-483. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2022. Jun. 15. 13:37
URI: http://acta.bibl.u-szeged.hu/id/eprint/12777

Actions (login required)

View Item View Item