SRBA, Jiří. Roadmap of Infinite Results. Bulletin of the European Association for Theoretical Computer Science, Bratislava: EATCS, 2002, vol. 2002, No 78, p. 163-175. ISSN 78.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Roadmap of Infinite Results
Authors SRBA, Jiří (203 Czechia, guarantor).
Edition Bulletin of the European Association for Theoretical Computer Science, Bratislava, EATCS, 2002, 78.
Other information
Original language English
Type of outcome article in a journal
Field of Study 10000 1. Natural Sciences
Country of publisher Slovakia
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/02:00006589
Organization unit Faculty of Informatics
Keywords in English infinite systems; bisimilarity; regularity; survey
Tags bisimilarity, infinite systems, regularity, survey
Changed by Changed by: Mgr. Jiří Srba, Ph.D., učo 2841. Changed: 11/11/2002 10:50.
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.
Links
GA201/00/0400, research and development projectName: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Czech Science Foundation, Standard Projects
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, Research Intents
PrintDisplayed: 5/8/2020 16:37