Comparing the Classes BPA and BPA with Deadlocks

SRBA, Jiří. Comparing the Classes BPA and BPA with Deadlocks. Technical report, Faculty of Informatics, Masaryk University, Brno. 1998, vol. 1998, No 05, p. 1-36. ISSN FIMU-RS-98-05.

Basic information

Original name

Comparing the Classes BPA and BPA with Deadlocks

Authors

SRBA, Jiří

Edition

Technical report, Faculty of Informatics, Masaryk University, Brno, 1998, FIMU-RS-98-05

---

Other information

Language

English

Type of outcome

Article in a journal

Field of Study

10000 1. Natural Sciences

Country of publisher

Czech Republic

Confidentiality degree

is not subject to a state or trade secret

References:

URL

RIV identification code

RIV/00216224:14330/98:00001570

Organization unit

Faculty of Informatics

Keywords in English

process algebra; deadlock; bisimulation

Tags

bisimulation, deadlock, process algebra

---

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