Reachability for Extended Process Rewrite Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F04%3A00010695" target="_blank" >RIV/00216224:14330/04:00010695 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Reachability for Extended Process Rewrite Systems
Original language description
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.
Czech name
Dosažitelnost pro rozšířené procesové přepisovací systémy
Czech description
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.

Project
<a href="/en/project/GA201%2F03%2F1161" target="_blank" >GA201/03/1161: Verification of infinite-state systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
MOVEP'04: 6th school on MOdeling and VErifying parallel Processes
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
77-82
Publisher name
Universite Libre de Bruxelles
Place of publication
Bruxelles, Belgium
Event location
Bruxelles, Belgium
Event date
Jan 1, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)