J 1999

On Finite Representations of Infinite-State Behaviours.

KUČERA, Antonín

Basic information

Original name

On Finite Representations of Infinite-State Behaviours.

Authors

KUČERA, Antonín

Edition

Information Processing Letters, Elsevier, 1999, 0020-0190

Other information

Language

English

Type of outcome

Article in a journal

Field of Study

20206 Computer hardware and architecture

Country of publisher

Netherlands

Confidentiality degree

is not subject to a state or trade secret

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

Tags

behavioural equivalences, concurrency, infinite-state systems, regularity
Changed: 13/1/2000 10:40, prof. RNDr. Antonín Kučera, Ph.D.

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: 3/4/2025 07:57