JANČAR, Petr and Antonín KUČERA. Bisimilarity of Processes with Finite-State Systems. F. Moller (Editor). In Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97). Uppsala (Sweden): University of Uppsala, 1997, p. 72-85. UPMAIL TR No. 148. ISBN 1100-0686.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Bisimilarity of Processes with Finite-State Systems
Authors JANČAR, Petr and Antonín KUČERA.
F. Moller (Editor).
Edition Uppsala (Sweden), Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97), p. 72-85, UPMAIL TR No. 148, 1997.
Publisher University of Uppsala
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 20206 Computer hardware and architecture
Country of publisher Sweden
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/97:00000101
Organization unit Faculty of Informatics
ISBN 1100-0686
Keywords in English concurrency; bisimilarity; infinite-state systems
Tags bisimilarity, concurrency, infinite-state systems
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:57.
Links
GA201/97/0456, research and development projectName: 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
PrintDisplayed: 26/4/2024 06:44