On the complete axiomatization for prefix iteration modulo observation congruence

Chen Taolue; Han Tingting; 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]
Előnézet
Cikk, tanulmány, mű
Chen_2006_ActaCybernetica.pdf

Letöltés (139kB) | Előnézet

Absztrakt (kivonat)

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.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2006
Kötet: 17
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 471-483
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38521/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: p. 482-483. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:25
Utolsó módosítás: 2022. jún. 15. 13:37
URI: http://acta.bibl.u-szeged.hu/id/eprint/12777
Bővebben:
Tétel nézet Tétel nézet