J 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

Tags

Změněno: 18/1/2005 17:32, Prof. Jiří Srba, Ph.D.

Abstract

ORIG CZ

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
Name: 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