SRBA, Jiří. Roadmap of Infinite Results. Current Trends in Theoretical Computer Science, The Challenge of the New Century. New York, USA: World Scientific Publishing, vol. 2, No 1, p. 337-350, 2004.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Roadmap of Infinite Results
Name in Czech Rozcesti nekonecnych vysledku
Authors SRBA, Jiří (203 Czech Republic, guarantor).
Edition Current Trends in Theoretical Computer Science, The Challenge of the New Century, New York, USA, World Scientific Publishing, 2004.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/04:00010683
Organization unit Faculty of Informatics
Keywords in English infinite-state systems; bisimilarity; complexity; decidability
Tags bisimilarity, complexity, decidability, infinite-state systems
Changed by Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 18/1/2005 17:32.
Abstract
This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously according to the development in the area. The most recent version of this document is available from the web-page http://www.brics.dk/~srba/roadmap.
Abstract (in Czech)
Jedna se o prehledovy clanek vysledku v testovani ekvivalance pro nekonecne stavove systemy z hierarchie prepisovacich systemu. Clanek je prubezne aktualizovan a je ke stazeni na autorove strance http://www.brics.dk/~srba/roadmap.
Links
GA201/03/1161, research and development projectName: Verifikace nekonečně stavových systémů
Investor: Czech Science Foundation, Verification of 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: 28/3/2024 13:35