Matches in SemOpenAlex for { <https://semopenalex.org/work/W3147304380> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W3147304380 endingPage "60" @default.
- W3147304380 startingPage "47" @default.
- W3147304380 abstract "It is shown that there exists a hereditary history-preserving bisimulation between a higher-dimensional automaton (HDA) and the symmetric HDA freely generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power." @default.
- W3147304380 created "2021-04-13" @default.
- W3147304380 creator A5012954814 @default.
- W3147304380 date "2022-10-01" @default.
- W3147304380 modified "2023-10-14" @default.
- W3147304380 title "On symmetric higher-dimensional automata and bisimilarity" @default.
- W3147304380 cites W1966230673 @default.
- W3147304380 cites W1970618358 @default.
- W3147304380 cites W2008493248 @default.
- W3147304380 cites W2022442264 @default.
- W3147304380 cites W2052547749 @default.
- W3147304380 cites W2110308671 @default.
- W3147304380 cites W2171840498 @default.
- W3147304380 doi "https://doi.org/10.1016/j.tcs.2022.07.004" @default.
- W3147304380 hasPublicationYear "2022" @default.
- W3147304380 type Work @default.
- W3147304380 sameAs 3147304380 @default.
- W3147304380 citedByCount "1" @default.
- W3147304380 countsByYear W31473043802023 @default.
- W3147304380 crossrefType "journal-article" @default.
- W3147304380 hasAuthorship W3147304380A5012954814 @default.
- W3147304380 hasBestOaLocation W31473043801 @default.
- W3147304380 hasConcept C112505250 @default.
- W3147304380 hasConcept C114614502 @default.
- W3147304380 hasConcept C118615104 @default.
- W3147304380 hasConcept C135315306 @default.
- W3147304380 hasConcept C193702766 @default.
- W3147304380 hasConcept C199360897 @default.
- W3147304380 hasConcept C202444582 @default.
- W3147304380 hasConcept C33923547 @default.
- W3147304380 hasConcept C41008148 @default.
- W3147304380 hasConcept C80444323 @default.
- W3147304380 hasConceptScore W3147304380C112505250 @default.
- W3147304380 hasConceptScore W3147304380C114614502 @default.
- W3147304380 hasConceptScore W3147304380C118615104 @default.
- W3147304380 hasConceptScore W3147304380C135315306 @default.
- W3147304380 hasConceptScore W3147304380C193702766 @default.
- W3147304380 hasConceptScore W3147304380C199360897 @default.
- W3147304380 hasConceptScore W3147304380C202444582 @default.
- W3147304380 hasConceptScore W3147304380C33923547 @default.
- W3147304380 hasConceptScore W3147304380C41008148 @default.
- W3147304380 hasConceptScore W3147304380C80444323 @default.
- W3147304380 hasFunder F4320334779 @default.
- W3147304380 hasLocation W31473043801 @default.
- W3147304380 hasLocation W31473043802 @default.
- W3147304380 hasOpenAccess W3147304380 @default.
- W3147304380 hasPrimaryLocation W31473043801 @default.
- W3147304380 hasRelatedWork W1507380329 @default.
- W3147304380 hasRelatedWork W1543600830 @default.
- W3147304380 hasRelatedWork W1662292621 @default.
- W3147304380 hasRelatedWork W2110308671 @default.
- W3147304380 hasRelatedWork W2124302819 @default.
- W3147304380 hasRelatedWork W2166572420 @default.
- W3147304380 hasRelatedWork W2168583484 @default.
- W3147304380 hasRelatedWork W2187912387 @default.
- W3147304380 hasRelatedWork W3147304380 @default.
- W3147304380 hasRelatedWork W59382029 @default.
- W3147304380 hasVolume "935" @default.
- W3147304380 isParatext "false" @default.
- W3147304380 isRetracted "false" @default.
- W3147304380 magId "3147304380" @default.
- W3147304380 workType "article" @default.