Detailed Information on Publication Record
2004
Roadmap of Infinite Results
SRBA, Jiří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
Language
English
Type of outcome
Článek v odborném periodiku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
United States of America
Confidentiality degree
není předmětem státního či obchodního tajemství
RIV identification code
RIV/00216224:14330/04:00010683
Organization unit
Faculty of Informatics
Keywords in English
infinite-state systems; bisimilarity; complexity; decidability
Změněno: 18/1/2005 17:32, Prof. Jiří Srba, Ph.D.
V originále
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.
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 project |
| ||
MSM 143300001, plan (intention) |
|