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, 1996, vol. 1996, RS-96-02, p. 1-28.

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

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Czech Republic

Confidentiality degree

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

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