Matches in SemOpenAlex for { <https://semopenalex.org/work/W1452985608> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1452985608 abstract "We introduce a new category of higher-dimensional automata in which the morphisms are functional homotopy simulations, i.e. functional simulations up to concurrency of independent events. For this, we use unfoldings of higher-dimensional automata into higher-dimensional trees. Using a notion of open maps in this category, we define homotopy bisimilarity. We show that homotopy bisimilarity is equivalent to a straight-forward generalization of standard bisimilarity to higher dimensions, and that it is finer than split bisimilarity and incomparable with history-preserving bisimilarity." @default.
- W1452985608 created "2016-06-24" @default.
- W1452985608 creator A5016501420 @default.
- W1452985608 creator A5030129842 @default.
- W1452985608 date "2014-09-20" @default.
- W1452985608 modified "2023-09-27" @default.
- W1452985608 title "Homotopy Bisimilarity for Higher-Dimensional Automata" @default.
- W1452985608 cites W1487534524 @default.
- W1452985608 cites W1494049105 @default.
- W1452985608 cites W1503973138 @default.
- W1452985608 cites W1508383245 @default.
- W1452985608 cites W1528999479 @default.
- W1452985608 cites W1547562281 @default.
- W1452985608 cites W1602232868 @default.
- W1452985608 cites W1973708289 @default.
- W1452985608 cites W1987664458 @default.
- W1452985608 cites W1991052229 @default.
- W1452985608 cites W2039290601 @default.
- W1452985608 cites W2069293198 @default.
- W1452985608 cites W2078826930 @default.
- W1452985608 cites W2110308671 @default.
- W1452985608 cites W2117462511 @default.
- W1452985608 cites W2148722937 @default.
- W1452985608 cites W2156515307 @default.
- W1452985608 cites W2178255682 @default.
- W1452985608 cites W2331587071 @default.
- W1452985608 cites W2439559863 @default.
- W1452985608 cites W2963036533 @default.
- W1452985608 cites W3144265197 @default.
- W1452985608 hasPublicationYear "2014" @default.
- W1452985608 type Work @default.
- W1452985608 sameAs 1452985608 @default.
- W1452985608 citedByCount "1" @default.
- W1452985608 countsByYear W14529856082015 @default.
- W1452985608 crossrefType "report" @default.
- W1452985608 hasAuthorship W1452985608A5016501420 @default.
- W1452985608 hasAuthorship W1452985608A5030129842 @default.
- W1452985608 hasBestOaLocation W14529856081 @default.
- W1452985608 hasConcept C112505250 @default.
- W1452985608 hasConcept C11413529 @default.
- W1452985608 hasConcept C136119220 @default.
- W1452985608 hasConcept C202444582 @default.
- W1452985608 hasConcept C33923547 @default.
- W1452985608 hasConcept C35527583 @default.
- W1452985608 hasConcept C41008148 @default.
- W1452985608 hasConcept C5961521 @default.
- W1452985608 hasConcept C80444323 @default.
- W1452985608 hasConceptScore W1452985608C112505250 @default.
- W1452985608 hasConceptScore W1452985608C11413529 @default.
- W1452985608 hasConceptScore W1452985608C136119220 @default.
- W1452985608 hasConceptScore W1452985608C202444582 @default.
- W1452985608 hasConceptScore W1452985608C33923547 @default.
- W1452985608 hasConceptScore W1452985608C35527583 @default.
- W1452985608 hasConceptScore W1452985608C41008148 @default.
- W1452985608 hasConceptScore W1452985608C5961521 @default.
- W1452985608 hasConceptScore W1452985608C80444323 @default.
- W1452985608 hasLocation W14529856081 @default.
- W1452985608 hasLocation W14529856082 @default.
- W1452985608 hasLocation W14529856083 @default.
- W1452985608 hasLocation W14529856084 @default.
- W1452985608 hasOpenAccess W1452985608 @default.
- W1452985608 hasPrimaryLocation W14529856081 @default.
- W1452985608 hasRelatedWork W1655879455 @default.
- W1452985608 hasRelatedWork W1986687552 @default.
- W1452985608 hasRelatedWork W2032449772 @default.
- W1452985608 hasRelatedWork W2072905640 @default.
- W1452985608 hasRelatedWork W2168523600 @default.
- W1452985608 hasRelatedWork W2223521144 @default.
- W1452985608 hasRelatedWork W581193529 @default.
- W1452985608 hasRelatedWork W795903369 @default.
- W1452985608 hasRelatedWork W84336305 @default.
- W1452985608 hasRelatedWork W2884788327 @default.
- W1452985608 isParatext "false" @default.
- W1452985608 isRetracted "false" @default.
- W1452985608 magId "1452985608" @default.
- W1452985608 workType "report" @default.