Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287550413> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4287550413 abstract "Milner (1984) introduced a process semantics for regular expressions as process graphs. Unlike for the language semantics, where every regular (that is, DFA-accepted) language is the interpretation of some regular expression, there are finite process graphs that are not bisimilar to the process interpretation of any regular expression. For reasoning about graphs that are expressible by regular expressions modulo bisimilarity it is desirable to have structural representations of process graphs in the image of the interpretation. For `1-free' regular expressions, their process interpretations satisfy the structural property LEE (loop existence and elimination). But this is not in general the case for all regular expressions, as we show by examples. Yet as a remedy, we describe the possibility to recover the property LEE for a close variant of the process interpretation. For this purpose we refine the process semantics of regular expressions to yield process graphs with 1-transitions, similar to silent moves for finite-state automata. This report accompanies the paper with the same title in the post-proceedings of the workshop TERMGRAPH 2020. Here we give the proofs of not only one but of both of the two central theorems." @default.
- W4287550413 created "2022-07-25" @default.
- W4287550413 creator A5078432736 @default.
- W4287550413 date "2020-12-20" @default.
- W4287550413 modified "2023-09-29" @default.
- W4287550413 title "Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions" @default.
- W4287550413 doi "https://doi.org/10.48550/arxiv.2012.10869" @default.
- W4287550413 hasPublicationYear "2020" @default.
- W4287550413 type Work @default.
- W4287550413 citedByCount "0" @default.
- W4287550413 crossrefType "posted-content" @default.
- W4287550413 hasAuthorship W4287550413A5078432736 @default.
- W4287550413 hasBestOaLocation W42875504131 @default.
- W4287550413 hasConcept C108710211 @default.
- W4287550413 hasConcept C111472728 @default.
- W4287550413 hasConcept C112505250 @default.
- W4287550413 hasConcept C11413529 @default.
- W4287550413 hasConcept C118615104 @default.
- W4287550413 hasConcept C121329065 @default.
- W4287550413 hasConcept C136119220 @default.
- W4287550413 hasConcept C138885662 @default.
- W4287550413 hasConcept C156325763 @default.
- W4287550413 hasConcept C161771561 @default.
- W4287550413 hasConcept C184337299 @default.
- W4287550413 hasConcept C189950617 @default.
- W4287550413 hasConcept C199360897 @default.
- W4287550413 hasConcept C202444582 @default.
- W4287550413 hasConcept C2524010 @default.
- W4287550413 hasConcept C2780654840 @default.
- W4287550413 hasConcept C33923547 @default.
- W4287550413 hasConcept C41008148 @default.
- W4287550413 hasConcept C52370388 @default.
- W4287550413 hasConcept C527412718 @default.
- W4287550413 hasConcept C54732982 @default.
- W4287550413 hasConcept C80444323 @default.
- W4287550413 hasConcept C90559484 @default.
- W4287550413 hasConcept C98045186 @default.
- W4287550413 hasConceptScore W4287550413C108710211 @default.
- W4287550413 hasConceptScore W4287550413C111472728 @default.
- W4287550413 hasConceptScore W4287550413C112505250 @default.
- W4287550413 hasConceptScore W4287550413C11413529 @default.
- W4287550413 hasConceptScore W4287550413C118615104 @default.
- W4287550413 hasConceptScore W4287550413C121329065 @default.
- W4287550413 hasConceptScore W4287550413C136119220 @default.
- W4287550413 hasConceptScore W4287550413C138885662 @default.
- W4287550413 hasConceptScore W4287550413C156325763 @default.
- W4287550413 hasConceptScore W4287550413C161771561 @default.
- W4287550413 hasConceptScore W4287550413C184337299 @default.
- W4287550413 hasConceptScore W4287550413C189950617 @default.
- W4287550413 hasConceptScore W4287550413C199360897 @default.
- W4287550413 hasConceptScore W4287550413C202444582 @default.
- W4287550413 hasConceptScore W4287550413C2524010 @default.
- W4287550413 hasConceptScore W4287550413C2780654840 @default.
- W4287550413 hasConceptScore W4287550413C33923547 @default.
- W4287550413 hasConceptScore W4287550413C41008148 @default.
- W4287550413 hasConceptScore W4287550413C52370388 @default.
- W4287550413 hasConceptScore W4287550413C527412718 @default.
- W4287550413 hasConceptScore W4287550413C54732982 @default.
- W4287550413 hasConceptScore W4287550413C80444323 @default.
- W4287550413 hasConceptScore W4287550413C90559484 @default.
- W4287550413 hasConceptScore W4287550413C98045186 @default.
- W4287550413 hasLocation W42875504131 @default.
- W4287550413 hasLocation W42875504132 @default.
- W4287550413 hasOpenAccess W4287550413 @default.
- W4287550413 hasPrimaryLocation W42875504131 @default.
- W4287550413 hasRelatedWork W10111591 @default.
- W4287550413 hasRelatedWork W10744749 @default.
- W4287550413 hasRelatedWork W10995172 @default.
- W4287550413 hasRelatedWork W1954895 @default.
- W4287550413 hasRelatedWork W2048510 @default.
- W4287550413 hasRelatedWork W2870196 @default.
- W4287550413 hasRelatedWork W3157107 @default.
- W4287550413 hasRelatedWork W4979087 @default.
- W4287550413 hasRelatedWork W5409819 @default.
- W4287550413 hasRelatedWork W6135152 @default.
- W4287550413 isParatext "false" @default.
- W4287550413 isRetracted "false" @default.
- W4287550413 workType "article" @default.