D 2004

Reachability for Extended Process Rewrite Systems

ŘEHÁK, Vojtěch

Basic information

Original name

Reachability for Extended Process Rewrite Systems

Name in Czech

Dosažitelnost pro rozšířené procesové přepisovací systémy

Authors

ŘEHÁK, Vojtěch (203 Czech Republic, guarantor)

Edition

Bruxelles, Belgium, MOVEP'04: 6th school on MOdeling and VErifying parallel Processes, p. 77-82, 6 pp. 2004

Publisher

Universite Libre de Bruxelles

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Belgium

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/04:00010695

Organization unit

Faculty of Informatics

Keywords in English

process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability

Tags

Tags

Reviewed
Změněno: 16/11/2006 12:47, doc. RNDr. Vojtěch Řehák, Ph.D.

Abstract

ORIG CZ

V originále

We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the reachability problem for PRS extended with a so called weak finite state unit is decidable.

In Czech

Sjednocujeme pohled na rozšíření procesových přepisovacích systemů a prezentujeme důkaz rozhodnutelnosti problému dosažitelnosti pro procesové přepisovací systémy rozšířené o slabou konečně stavovou jednotku.

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