česky | in English
RIV/00216224:14330/03:00008439 Článek v odborném periodiku. Informatika. angličtina. Velká Británie a Severní Irsko.
Kučera, Antonín (203 Česká republika, garant) -- Esparza, Javier (724 Španělsko)
Klíčová slova anglicky: transition systems; behavioural equivalences; quotients
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 18:19.
Název anglicky: On Finite Representations of Infinite-State Behaviours.
RIV/00216224:14330/99:00000735 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemské království.
Klíčová slova anglicky: concurrency; infinite-state systems; behavioural equivalences; regularity
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:40.
Název anglicky: On Finite Representations of Infinite-State Behaviours.
RIV/00216224:14330/97:00000096 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Klíčová slova anglicky: concurrency; infinite-state systems; behavioural equivalences
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:09.
Název anglicky: Deciding Regularity in Process Algebras
RIV/00216224:14330/95:00001752 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Dánsko.
Klíčová slova anglicky: process algebras; regularity; behavioural equivalences
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:23.