2003
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and Jan STREJČEKBasic information
Original name
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
Authors
KŘETÍNSKÝ, Mojmír (203 Czech Republic, guarantor); Vojtěch ŘEHÁK (203 Czech Republic) and Jan STREJČEK (203 Czech Republic)
Edition
Marseille, France, Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003), p. 73-86, 14 pp. 2003
Publisher
Universite de Provence, Marseille
Other information
Language
English
Type of outcome
Proceedings paper
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/03:00008151
Organization unit
Faculty of Informatics
Keywords in English
process rewrite systems; state extension; infinite-state
Tags
Reviewed
Changed: 16/11/2006 12:47, doc. RNDr. Vojtěch Řehák, Ph.D.
Abstract
In the original language
Various classes of infinite-state processes are often specified by rewrite systems. We extend Mayr's Process Rewrite Systems (PRS) by finite-state unit whose transition function satisfies some restrictions inspired by weak finite automata. We classify these models by their expressiveness and show how the hierarchy of new classes (w.r.t.~bisimilarity) is related to both PRS hierarchy of Mayr and two other hierarchies of PRS extensions.
Links
| GA201/03/1161, research and development project |
| ||
| MSM 143300001, plan (intention) |
|