| KUČERA, Antonín. Regularity of normed PA processes. Information Processing Letters. Elsevier, roč. 72, 1-2, s. 9-17. ISSN 0020-0190. 1999. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Regularity of normed PA processes |
| Autoři | KUČERA, Antonín. |
| Vydání | Information Processing Letters, Elsevier, 1999, 0020-0190. |
| Další údaje | |
|---|---|
| Originální jazyk | angličtina |
| Typ výsledku | Článek v odborném periodiku |
| Obor | 20206 Computer hardware and architecture |
| Stát vydavatele | Nizozemské království |
| Utajení | není předmětem státního či obchodního tajemství |
| Impakt faktor | Impact factor: 0.242 |
| Kód RIV | RIV/00216224:14330/99:00001178 |
| Organizační jednotka | Fakulta informatiky |
| UT WoS | 000084160100002 |
| Klíčová slova anglicky | concurrency; process algebra; bisimilarity; regularity |
| Štítky | bisimilarity, concurrency, process algebra, regularity |
| Změnil | Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:44. |
| Návaznosti | |
|---|---|
| GA201/97/0456, projekt VaV | Název: Meze algoritmické verifikovatelnosti nekonečně stavových systémů |
| Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti nekonečně stavových systémů | |
| GA201/98/P046, projekt VaV | Název: Rozhodnutelné problémy v algebrách procesů |
| Investor: Grantová agentura ČR, Rozhodnutelné problémy v algebrách procesů | |
| MSM 143300001, záměr | Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů |
| Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů | |
VytisknoutZobrazeno: 20. 4. 2024 05:11