Weakly Extended Process Rewrite Systems

ŘEHÁK, Vojtěch. Weakly Extended Process Rewrite Systems. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes. 2006.

Basic information

Original name

Weakly Extended Process Rewrite Systems

Name in Czech

Slabě rozšířené procesové přepisovací systémy

Authors

ŘEHÁK, Vojtěch (203 Czech Republic, guarantor, belonging to the institution)

Edition

MOVEP'06: 7th school on MOdeling and VErifying parallel Processes, 2006

---

Other information

Language

English

Type of outcome

Presentations at conferences

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

France

Confidentiality degree

is not subject to a state or trade secret

RIV identification code

RIV/00216224:14330/06:00015476

Organization unit

Faculty of Informatics

Keywords in English

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

Tags

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

Tags

International impact, Reviewed

---

Abstract

In the original language

We unify a view on state extensions of Process Rewrite Systems (PRS) and compare their expressive power. In addition, we study decidability and complexity of problems related to model checking and other formal verification procedures such as weak and strong bisimulation, the reachability problem, etc.

In Czech

Sjednocujeme pohled na stavově rozšíření procesových přepisovacích systémů a porovnáváme jejich vyjadřovací sílu. Dále studujeme rozhodnutelnost a složitost problémů týkajících se ověřování modelu a jiných procedur formální verifikace jako silné bisimulace, problému dosažitelnosti atd.

---

Links

GD102/05/H050, research and development project	Name: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Investor: Czech Science Foundation, Integrated approach to education of PhD students in the area of parallel and distributed systems
MSM0021622419, plan (intention)	Name: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1ET408050503, research and development project	Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems
1M0545, research and development project	Name: Institut Teoretické Informatiky Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science