Bisimilarity of Processes with Finite-State Systems.

JANČAR, Petr and Antonín KUČERA. Bisimilarity of Processes with Finite-State Systems. Electronic Notes in Theoretical Computer Science. Elsevier, vol. 1997, No 9, p. 1-14, 1997.

Basic information

• Original name: Bisimilarity of Processes with Finite-State Systems.
• Authors: JANČAR, Petr and Antonín KUČERA.
• Edition: Electronic Notes in Theoretical Computer Science, Elsevier, 1997.

Other information

• Original 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
• WWW: ENTCS home page
• RIV identification code: RIV/00216224:14330/97:00000103
• Organization unit: Faculty of Informatics
• Keywords in English: concurrency; bisimilarity; infinite-state systems
• Tags: bisimilarity, concurrency, infinite-state systems

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

• 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