RIV/00216224:14330/02:00005613 Article in a journal. Computer hardware and software. English. United States of America.
Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
Keywords in English: concurrency; process algebras; simulation equivalence
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 18:17.
Name (in English): Simulation Preorder on Simple Process Algebras
RIV/00216224:14330/99:00001766 Article in a journal. Computer hardware and software. English. Germany.
Keywords in English: process algebras; weak bisimilarity; finite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 15:13.
Name (in English): Deciding Bisimulation-Like Equivalences with Finite-State Processes
RIV/00216224:14330/98:00001759 Article in a journal. Computer hardware and software. English. Germany.
Keywords in English: process algebras; bisimilarity; finite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 14:03.
Name (in English): Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
RIV/00216224:14330/98:00001760 Article in a journal. Computer hardware and software. English. Germany.
Keywords in English: process algebras; bisimilarity; finite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 14:09.
Name (in English): Bisimilarity of Processes with Finite-state Systems
RIV/00216224:14330/97:00001757 Article in a journal. Computer hardware and software. English. Czech Republic.
Keywords in English: process algebras; bisimilarity; finite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:51.
Name (in English): Comparing Expressibility of Normed BPA and Normed BPP Processes
RIV/00216224:14330/96:00001754 Article in a journal. Computer hardware and software. English. Czech Republic.
Keywords in English: process algebras; bisimilarity;
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:50.
Name (in English): How to Parallelize Sequential Processes
RIV/00216224:14330/96:00001755 Article in a journal. Computer hardware and software. English. Czech Republic.
Keywords in English: process algebras; bisimilarity; decomposition
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:48.
Name (in English): Regularity is Decidable for Normed PA Processes in Polynomial Time
RIV/00216224:14330/96:00001753 Article in a journal. Computer hardware and software. English. Czech Republic.
Keywords in English: process algebras; regularity; bisimilarity
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:47.
Name (in English): Regularity is Decidable for Normed PA Processes in Polynomial Time
RIV/00216224:14330/96:00000074 Proceedings paper. Computer hardware and software. English. Germany.
Keywords in English: concurrency; process algebras; bisimilarity; regularity
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 11:32.
Name (in English): Deciding Regularity in Process Algebras
RIV/00216224:14330/95:00001752 Article in a journal. Computer hardware and software. English. Denmark.
Keywords in English: process algebras; regularity; behavioural equivalences
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:23.