Reachability for Extended Process Rewrite Systems

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	ŘEHÁK Vojtěch
Year of publication	2004
Type	Article in Proceedings
Conference	MOVEP'04: 6th school on MOdeling and VErifying parallel Processes
MU Faculty or unit	Faculty of Informatics
Citation
Field	Informatics
Keywords	process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
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.
Related projects:	Verification of infinite-state systems Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing