Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065713030> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2065713030 endingPage "28" @default.
- W2065713030 startingPage "1" @default.
- W2065713030 abstract "In his seminal paper, Mayr introduced the well-known process rewrite systems (PRS) hierarchy, which contains many well-studied classes of infinite-state systems including pushdown systems (PDS), Petri nets, and PA-processes. A separate development in the term rewriting community introduced the notion of ground tree rewrite systems (GTRS), which is a model that strictly extends PDS while still enjoying desirable decidable properties. There have been striking similarities between the verification problems that have been shown decidable (and undecidable) over GTRS and over models in the PRS hierarchy such as PA and PAD processes. It is open to what extent PRS and GTRS are connected in terms of their expressive power. In this article, we pinpoint the exact connection between GTRS and models in the PRS hierarchy in terms of their expressive power with respect to strong, weak, and branching bisimulation. Among others, this connection allows us to give new insights into the decidability results for subclasses of PRS, such as simpler proofs of known decidability results of verifications problems on PAD." @default.
- W2065713030 created "2016-06-24" @default.
- W2065713030 creator A5034129725 @default.
- W2065713030 creator A5079767975 @default.
- W2065713030 date "2014-08-01" @default.
- W2065713030 modified "2023-10-17" @default.
- W2065713030 title "Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems" @default.
- W2065713030 cites W180544992 @default.
- W2065713030 cites W1869685613 @default.
- W2065713030 cites W1971416129 @default.
- W2065713030 cites W1974542856 @default.
- W2065713030 cites W1984256985 @default.
- W2065713030 cites W1985161650 @default.
- W2065713030 cites W2006265470 @default.
- W2065713030 cites W2041203617 @default.
- W2065713030 cites W2108475979 @default.
- W2065713030 cites W2109893633 @default.
- W2065713030 cites W2126414619 @default.
- W2065713030 cites W2158942489 @default.
- W2065713030 cites W2720631021 @default.
- W2065713030 cites W2806135590 @default.
- W2065713030 cites W4301322018 @default.
- W2065713030 doi "https://doi.org/10.1145/2629679" @default.
- W2065713030 hasPublicationYear "2014" @default.
- W2065713030 type Work @default.
- W2065713030 sameAs 2065713030 @default.
- W2065713030 citedByCount "2" @default.
- W2065713030 countsByYear W20657130302015 @default.
- W2065713030 crossrefType "journal-article" @default.
- W2065713030 hasAuthorship W2065713030A5034129725 @default.
- W2065713030 hasAuthorship W2065713030A5079767975 @default.
- W2065713030 hasConcept C113174947 @default.
- W2065713030 hasConcept C114614502 @default.
- W2065713030 hasConcept C118615104 @default.
- W2065713030 hasConcept C131359564 @default.
- W2065713030 hasConcept C153269930 @default.
- W2065713030 hasConcept C154690210 @default.
- W2065713030 hasConcept C162324750 @default.
- W2065713030 hasConcept C192034797 @default.
- W2065713030 hasConcept C199360897 @default.
- W2065713030 hasConcept C202444582 @default.
- W2065713030 hasConcept C31170391 @default.
- W2065713030 hasConcept C33923547 @default.
- W2065713030 hasConcept C34447519 @default.
- W2065713030 hasConcept C41008148 @default.
- W2065713030 hasConcept C5961521 @default.
- W2065713030 hasConcept C79236096 @default.
- W2065713030 hasConceptScore W2065713030C113174947 @default.
- W2065713030 hasConceptScore W2065713030C114614502 @default.
- W2065713030 hasConceptScore W2065713030C118615104 @default.
- W2065713030 hasConceptScore W2065713030C131359564 @default.
- W2065713030 hasConceptScore W2065713030C153269930 @default.
- W2065713030 hasConceptScore W2065713030C154690210 @default.
- W2065713030 hasConceptScore W2065713030C162324750 @default.
- W2065713030 hasConceptScore W2065713030C192034797 @default.
- W2065713030 hasConceptScore W2065713030C199360897 @default.
- W2065713030 hasConceptScore W2065713030C202444582 @default.
- W2065713030 hasConceptScore W2065713030C31170391 @default.
- W2065713030 hasConceptScore W2065713030C33923547 @default.
- W2065713030 hasConceptScore W2065713030C34447519 @default.
- W2065713030 hasConceptScore W2065713030C41008148 @default.
- W2065713030 hasConceptScore W2065713030C5961521 @default.
- W2065713030 hasConceptScore W2065713030C79236096 @default.
- W2065713030 hasIssue "4" @default.
- W2065713030 hasLocation W20657130301 @default.
- W2065713030 hasOpenAccess W2065713030 @default.
- W2065713030 hasPrimaryLocation W20657130301 @default.
- W2065713030 hasRelatedWork W1483180838 @default.
- W2065713030 hasRelatedWork W1512579902 @default.
- W2065713030 hasRelatedWork W1521422367 @default.
- W2065713030 hasRelatedWork W1544871822 @default.
- W2065713030 hasRelatedWork W1933757178 @default.
- W2065713030 hasRelatedWork W2001610338 @default.
- W2065713030 hasRelatedWork W2494046766 @default.
- W2065713030 hasRelatedWork W3022248317 @default.
- W2065713030 hasRelatedWork W4210495575 @default.
- W2065713030 hasRelatedWork W2583323428 @default.
- W2065713030 hasVolume "15" @default.
- W2065713030 isParatext "false" @default.
- W2065713030 isRetracted "false" @default.
- W2065713030 magId "2065713030" @default.
- W2065713030 workType "article" @default.