ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. B. Steffen, T. Margaria (Eds.). In Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96). Passau: University of Passau, 1996, p. 32-46. MIP-9614.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
Authors ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA.
B. Steffen, T. Margaria (Eds.).
Edition Passau, Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96), p. 32-46, MIP-9614, 1996.
Publisher University of Passau
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 20206 Computer hardware and architecture
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/96:00000081
Organization unit Faculty of Informatics
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 11:34.
Links
GA201/93/2123, research and development projectName: 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
PrintDisplayed: 1/5/2024 06:05