J 2000

Effective Decomposability of Sequential Behaviours.

KUČERA, Antonín

Basic information

Original name

Effective Decomposability of Sequential Behaviours.

Authors

KUČERA, Antonín

Edition

Theoretical Computer Science, Amsterdam, Nizozemí, 2000, 0304-3975

Other information

Language

English

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.417

RIV identification code

RIV/00216224:14330/00:00000061

Organization unit

Faculty of Informatics

Keywords in English

concurrency; process algebra; bisimilarity; decomposability

Tags

bisimilarity, concurrency, decomposability, process algebra
Změněno: 26/5/2000 11:11, prof. RNDr. Antonín Kučera, Ph.D.

Links

GA201/97/0456, research and development project
Name: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Czech Science Foundation, Algorithmic Verification Boundaries for Infinite-State Systems
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: 4/11/2024 15:58