. . "Dosa\u017Eitelnost pro roz\u0161\u00ED\u0159en\u00E9 procesov\u00E9 p\u0159episovac\u00ED syst\u00E9my"@cs . "1"^^ . . . . . "Universite Libre de Bruxelles" . "P(GA201/03/1161), Z(MSM 143300001)" . "Reachability for Extended Process Rewrite Systems"@en . "Reachability for Extended Process Rewrite Systems" . . "14330" . "RIV/00216224:14330/04:00010695!RIV08-MSM-14330___" . . . "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."@en . "583609" . . . "Sjednocujeme pohled na roz\u0161\u00ED\u0159en\u00ED procesov\u00FDch p\u0159episovac\u00EDch system\u016F a prezentujeme d\u016Fkaz rozhodnutelnosti probl\u00E9mu dosa\u017Eitelnosti pro procesov\u00E9 p\u0159episovac\u00ED syst\u00E9my roz\u0161\u00ED\u0159en\u00E9 o slabou kone\u010Dn\u011B stavovou jednotku."@cs . . . "Reachability for Extended Process Rewrite Systems" . "6"^^ . . "MOVEP'04: 6th school on MOdeling and VErifying parallel Processes" . . "[CB995C281110]" . "Dosa\u017Eitelnost pro roz\u0161\u00ED\u0159en\u00E9 procesov\u00E9 p\u0159episovac\u00ED syst\u00E9my"@cs . "process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability"@en . . . "2004-01-01+01:00"^^ . . "Reachability for Extended Process Rewrite Systems"@en . . "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." . . . "\u0158eh\u00E1k, Vojt\u011Bch" . "77-82" . "Bruxelles, Belgium" . "Bruxelles, Belgium" . "RIV/00216224:14330/04:00010695" . "1"^^ .