ŘEHÁK, Vojtěch. Weakly Extended Process Rewrite Systems. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes. 2006. |
Other formats:
BibTeX
LaTeX
RIS
|
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 | |
---|---|
Original 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 |
Changed by | Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 28/4/2011 08:26. |
Abstract |
---|
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. |
Abstract (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 |
PrintDisplayed: 29/9/2024 22:25