D 1998

Bisimilarity of Processes with Finite-State Systems

JANČAR, Petr, Antonín KUČERA and Richard MAYR

Basic information

Original name

Bisimilarity of Processes with Finite-State Systems

Authors

JANČAR, Petr, Antonín KUČERA and Richard MAYR
K. Larsen, S. Skyum, G. Winskel (Eds.).

Edition

Berlin, Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98), p. 200-211, Lecture Notes in Computer Science, vol. 1443, 1998

Publisher

Springer

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/98:00000695

Organization unit

Faculty of Informatics

ISBN

3-540-64781-3

Keywords in English

concurrency; bisimilarity; infinite-state systems

Tags

Změněno: 13/1/2000 10:51, 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