KUČERA, Antonín and Richard MAYR. Simulation Preorder over Simple Process Algebras. Information and Computation, Academic Press, 2002, vol. 173, No 2, p. 184-198. ISSN 0890-5401.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Simulation Preorder over Simple Process Algebras
Authors KUČERA, Antonín (203 Czech Republic, guarantor) and Richard MAYR (276 Germany).
Edition Information and Computation, Academic Press, 2002, 0890-5401.
Other information
Original language English
Type of outcome article in a journal
Field of Study Computer hardware and architecture
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
Impact factor Impact factor: 0.628
RIV identification code RIV/00216224:14330/02:00005613
Organization unit Faculty of Informatics
UT WoS 000174894900005
Keywords in English concurrency; process algebras; simulation equivalence
Tags concurrency, process algebras, simulation equivalence
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 18:17.
Abstract
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. First, we describe a general method how to utilize the decidability of bisimulation problems to solve (certain instances of) the corresponding simulation problems. For certain process classes, the method allows to design effective reductions of simulation problems to their bisimulation counterparts and some new decidability results for simulation have already been obtained in this way. Then we establish the decidability/tractability border for the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones w.r.t. the hierarchy of process rewrite systems.
Links
GA201/00/0400, research and development projectName: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Czech Science Foundation, Standard Projects
MSM 143300001, plan (intention)Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Research Intents
PrintDisplayed: 15/11/2019 18:44