Matches in SemOpenAlex for { <https://semopenalex.org/work/W1558612067> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W1558612067 endingPage "286" @default.
- W1558612067 startingPage "274" @default.
- W1558612067 abstract "The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of two models - higher dimensional automata (HDA) and timed higher dimensional automata (THDA) - in order to transfer general concepts of equivalences to the models. First, we define categories of the models under consideration, whose morphisms are to be thought of as simulations. Then, accompanying (sub)categories of observations are chosen relative to which the corresponding notions of open maps are developed. Finally, we use the open maps framework to obtain two abstract bisimulations which are established to coincide with hereditary history preserving bisimulations on HDA and THDA, respectively." @default.
- W1558612067 created "2016-06-24" @default.
- W1558612067 creator A5087651467 @default.
- W1558612067 date "2009-01-01" @default.
- W1558612067 modified "2023-09-27" @default.
- W1558612067 title "Open Maps Bisimulations for Higher Dimensional Automata Models" @default.
- W1558612067 cites W1494049105 @default.
- W1558612067 cites W1508103103 @default.
- W1558612067 cites W1537867611 @default.
- W1558612067 cites W1559181602 @default.
- W1558612067 cites W1604194452 @default.
- W1558612067 cites W1689225743 @default.
- W1558612067 cites W2039290601 @default.
- W1558612067 cites W2075412006 @default.
- W1558612067 cites W2088189323 @default.
- W1558612067 cites W2110308671 @default.
- W1558612067 cites W2112751084 @default.
- W1558612067 cites W2136872552 @default.
- W1558612067 doi "https://doi.org/10.1007/978-3-642-03409-1_25" @default.
- W1558612067 hasPublicationYear "2009" @default.
- W1558612067 type Work @default.
- W1558612067 sameAs 1558612067 @default.
- W1558612067 citedByCount "6" @default.
- W1558612067 countsByYear W15586120672012 @default.
- W1558612067 countsByYear W15586120672013 @default.
- W1558612067 countsByYear W15586120672014 @default.
- W1558612067 countsByYear W15586120672015 @default.
- W1558612067 crossrefType "book-chapter" @default.
- W1558612067 hasAuthorship W1558612067A5087651467 @default.
- W1558612067 hasConcept C112505250 @default.
- W1558612067 hasConcept C11413529 @default.
- W1558612067 hasConcept C135315306 @default.
- W1558612067 hasConcept C35527583 @default.
- W1558612067 hasConcept C41008148 @default.
- W1558612067 hasConcept C80444323 @default.
- W1558612067 hasConceptScore W1558612067C112505250 @default.
- W1558612067 hasConceptScore W1558612067C11413529 @default.
- W1558612067 hasConceptScore W1558612067C135315306 @default.
- W1558612067 hasConceptScore W1558612067C35527583 @default.
- W1558612067 hasConceptScore W1558612067C41008148 @default.
- W1558612067 hasConceptScore W1558612067C80444323 @default.
- W1558612067 hasLocation W15586120671 @default.
- W1558612067 hasOpenAccess W1558612067 @default.
- W1558612067 hasPrimaryLocation W15586120671 @default.
- W1558612067 hasRelatedWork W1506098152 @default.
- W1558612067 hasRelatedWork W1577437452 @default.
- W1558612067 hasRelatedWork W1986687552 @default.
- W1558612067 hasRelatedWork W2104383147 @default.
- W1558612067 hasRelatedWork W2162510824 @default.
- W1558612067 hasRelatedWork W2471844302 @default.
- W1558612067 hasRelatedWork W3039941228 @default.
- W1558612067 hasRelatedWork W3095160120 @default.
- W1558612067 hasRelatedWork W4312254064 @default.
- W1558612067 hasRelatedWork W795903369 @default.
- W1558612067 isParatext "false" @default.
- W1558612067 isRetracted "false" @default.
- W1558612067 magId "1558612067" @default.
- W1558612067 workType "book-chapter" @default.