Comparing Expressibility of Normed BPA and Normed BPP Processes

ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. FI MU Report Series. Brno: FI MU, vol. 1996, RS-96-02, p. 1-28, 1996.

Basic information

• Original name: Comparing Expressibility of Normed BPA and Normed BPP Processes
• Authors: ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA.
• Edition: FI MU Report Series, Brno, FI MU, 1996.

Other information

• Original language: English
• Type of outcome: Article in a journal
• Field of Study: 20206 Computer hardware and architecture
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• RIV identification code: RIV/00216224:14330/96:00001754
• Organization unit: Faculty of Informatics
• UT WoS: 000079817400003
• Keywords in English: process algebras; bisimilarity
• Tags: bisimilarity, process algebras

Links

• GA201/93/2123, research and development project: Name: Analýza konkurentních nekonečně stavových systémů

Investor: Czech Science Foundation, Analysis of Concurrent 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