Matches in SemOpenAlex for { <https://semopenalex.org/work/W2212591034> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2212591034 endingPage "66" @default.
- W2212591034 startingPage "51" @default.
- W2212591034 abstract "Open maps, as introduced in concurrency theory by Joyal, Nielsen and Winskel, provide an abstract way to define functional bisimulations across a wide variety of models of computation (like labelled transition systems, event structures, etcetera). Furthermore, the existence of a span of open maps characterises the well-known relational definition of bisimulations found in the literature associated with these models of computation. However, in our working category of prefix orders (in which the objects represent the sets of executions generated by arbitrary dynamical systems) the open maps do not immediately result in functional bisimulations and the existence of a span of open maps does not result in an equivalence. This is rather surprising, since prefix orders are mere generalizations of (discrete) execution trees, for which the open map approach is known to work. After taking a closer look at the definition of open map, we show in this paper that the issue can be remedied by considering prefix orders as a concrete category and reinterpreting the definition of open-map in this light. As a bonus, the choice of a path-category on which the notion of open-map relies becomes a natural one, namely the subcategory of embeddings. While the existence of spans still does not result in an equivalence, it is shown that the existence of cospans does. In fact, we present a characterisation of the notion of branching bisimulation by van Glabbeek and Weijland which, to the best of our knowledge, was not studied in the framework of open maps before." @default.
- W2212591034 created "2016-06-24" @default.
- W2212591034 creator A5033505407 @default.
- W2212591034 creator A5062540784 @default.
- W2212591034 date "2015-12-01" @default.
- W2212591034 modified "2023-09-28" @default.
- W2212591034 title "Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders" @default.
- W2212591034 cites W1985161650 @default.
- W2212591034 cites W2043229226 @default.
- W2212591034 cites W2061760083 @default.
- W2212591034 cites W2078103992 @default.
- W2212591034 cites W2098981343 @default.
- W2212591034 cites W2724452537 @default.
- W2212591034 doi "https://doi.org/10.1016/j.entcs.2015.12.005" @default.
- W2212591034 hasPublicationYear "2015" @default.
- W2212591034 type Work @default.
- W2212591034 sameAs 2212591034 @default.
- W2212591034 citedByCount "3" @default.
- W2212591034 countsByYear W22125910342019 @default.
- W2212591034 countsByYear W22125910342023 @default.
- W2212591034 crossrefType "journal-article" @default.
- W2212591034 hasAuthorship W2212591034A5033505407 @default.
- W2212591034 hasAuthorship W2212591034A5062540784 @default.
- W2212591034 hasBestOaLocation W22125910341 @default.
- W2212591034 hasConcept C111919701 @default.
- W2212591034 hasConcept C118615104 @default.
- W2212591034 hasConcept C135315306 @default.
- W2212591034 hasConcept C138885662 @default.
- W2212591034 hasConcept C141603448 @default.
- W2212591034 hasConcept C156103551 @default.
- W2212591034 hasConcept C193702766 @default.
- W2212591034 hasConcept C2780069185 @default.
- W2212591034 hasConcept C2780617661 @default.
- W2212591034 hasConcept C33923547 @default.
- W2212591034 hasConcept C41008148 @default.
- W2212591034 hasConcept C41895202 @default.
- W2212591034 hasConcept C42357961 @default.
- W2212591034 hasConceptScore W2212591034C111919701 @default.
- W2212591034 hasConceptScore W2212591034C118615104 @default.
- W2212591034 hasConceptScore W2212591034C135315306 @default.
- W2212591034 hasConceptScore W2212591034C138885662 @default.
- W2212591034 hasConceptScore W2212591034C141603448 @default.
- W2212591034 hasConceptScore W2212591034C156103551 @default.
- W2212591034 hasConceptScore W2212591034C193702766 @default.
- W2212591034 hasConceptScore W2212591034C2780069185 @default.
- W2212591034 hasConceptScore W2212591034C2780617661 @default.
- W2212591034 hasConceptScore W2212591034C33923547 @default.
- W2212591034 hasConceptScore W2212591034C41008148 @default.
- W2212591034 hasConceptScore W2212591034C41895202 @default.
- W2212591034 hasConceptScore W2212591034C42357961 @default.
- W2212591034 hasLocation W22125910341 @default.
- W2212591034 hasLocation W22125910342 @default.
- W2212591034 hasLocation W22125910343 @default.
- W2212591034 hasOpenAccess W2212591034 @default.
- W2212591034 hasPrimaryLocation W22125910341 @default.
- W2212591034 hasRelatedWork W1542211936 @default.
- W2212591034 hasRelatedWork W1985488429 @default.
- W2212591034 hasRelatedWork W2026460730 @default.
- W2212591034 hasRelatedWork W2062762081 @default.
- W2212591034 hasRelatedWork W2085568542 @default.
- W2212591034 hasRelatedWork W2119035971 @default.
- W2212591034 hasRelatedWork W2135991677 @default.
- W2212591034 hasRelatedWork W2212591034 @default.
- W2212591034 hasRelatedWork W2220544477 @default.
- W2212591034 hasRelatedWork W4296970324 @default.
- W2212591034 hasVolume "319" @default.
- W2212591034 isParatext "false" @default.
- W2212591034 isRetracted "false" @default.
- W2212591034 magId "2212591034" @default.
- W2212591034 workType "article" @default.