J
1999
On Finite Representations of Infinite-State Behaviours.
KUČERA, Antonín
Basic information
Original name
On Finite Representations of Infinite-State Behaviours.
Edition
Information Processing Letters, Elsevier, 1999, 0020-0190
Other information
Type of outcome
Článek v odborném periodiku
Field of Study
20206 Computer hardware and architecture
Country of publisher
Netherlands
Confidentiality degree
není předmětem státního či obchodního tajemství
Impact factor
Impact factor: 0.242
RIV identification code
RIV/00216224:14330/99:00000735
Organization unit
Faculty of Informatics
Keywords in English
concurrency; infinite-state systems; behavioural equivalences; regularity
Links
| GA201/98/P046, research and development project | | Name: Rozhodnutelné problémy v algebrách procesů | | Investor: Czech Science Foundation, (Un)decidable Problems in Process Algebras |
|
| MSM 143300001, plan (intention) | | Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů | | Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing |
|
Displayed: 16/11/2024 18:10