Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288280022> ?p ?o ?g. }
- W4288280022 endingPage "465" @default.
- W4288280022 startingPage "403" @default.
- W4288280022 abstract "Bisimilarity as an equivalence notion of systems has been central to process theory. Due to the recent rise of interest in quantitative systems (probabilistic, weighted, hybrid, etc.), bisimilarity has been extended in various ways, such as bisimulation metric between probabilistic systems. An important feature of bisimilarity is its game-theoretic characterization, where Spoiler and Duplicator play against each other; extension of bisimilarity games to quantitative settings has been actively pursued too. In this paper, we present a general framework that uniformly describes game characterizations of bisimilarity-like notions. Our framework is formalized categorically using fibrations and coalgebras. In particular, our characterization of bisimilarity in terms of fibrational predicate transformers allows us to derive what we call codensity bisimilarity games: a general categorical game characterization of bisimilarity. Our framework covers known bisimilarity-like notions (such as bisimulation metric and bisimulation seminorm) as well as new ones (including what we call bisimulation topology)." @default.
- W4288280022 created "2022-07-28" @default.
- W4288280022 creator A5003960429 @default.
- W4288280022 creator A5013382452 @default.
- W4288280022 creator A5025346659 @default.
- W4288280022 creator A5027518479 @default.
- W4288280022 creator A5041431787 @default.
- W4288280022 creator A5072416125 @default.
- W4288280022 creator A5073426725 @default.
- W4288280022 date "2022-07-01" @default.
- W4288280022 modified "2023-10-09" @default.
- W4288280022 title "Codensity Games for Bisimilarity" @default.
- W4288280022 cites W1542578030 @default.
- W4288280022 cites W1547562281 @default.
- W4288280022 cites W1555534061 @default.
- W4288280022 cites W1564580204 @default.
- W4288280022 cites W1964680921 @default.
- W4288280022 cites W1976268573 @default.
- W4288280022 cites W1984184513 @default.
- W4288280022 cites W2015172530 @default.
- W4288280022 cites W2016274488 @default.
- W4288280022 cites W2022184804 @default.
- W4288280022 cites W2039290601 @default.
- W4288280022 cites W2046213250 @default.
- W4288280022 cites W2060917500 @default.
- W4288280022 cites W2077019667 @default.
- W4288280022 cites W2086788473 @default.
- W4288280022 cites W2087403174 @default.
- W4288280022 cites W2088189323 @default.
- W4288280022 cites W2093397547 @default.
- W4288280022 cites W2102750354 @default.
- W4288280022 cites W2108670836 @default.
- W4288280022 cites W2108886305 @default.
- W4288280022 cites W2126431612 @default.
- W4288280022 cites W2140673956 @default.
- W4288280022 cites W2148689464 @default.
- W4288280022 cites W2347010600 @default.
- W4288280022 cites W2593702163 @default.
- W4288280022 cites W2606280575 @default.
- W4288280022 cites W2775578497 @default.
- W4288280022 cites W2776184628 @default.
- W4288280022 cites W2890208395 @default.
- W4288280022 cites W2897197486 @default.
- W4288280022 cites W2898545346 @default.
- W4288280022 cites W2902372396 @default.
- W4288280022 cites W2949155565 @default.
- W4288280022 cites W2964191283 @default.
- W4288280022 cites W2964568064 @default.
- W4288280022 cites W3176847254 @default.
- W4288280022 cites W3189472968 @default.
- W4288280022 cites W4211144022 @default.
- W4288280022 cites W4213068077 @default.
- W4288280022 cites W4213168386 @default.
- W4288280022 cites W4232277105 @default.
- W4288280022 doi "https://doi.org/10.1007/s00354-022-00186-y" @default.
- W4288280022 hasPublicationYear "2022" @default.
- W4288280022 type Work @default.
- W4288280022 citedByCount "0" @default.
- W4288280022 crossrefType "journal-article" @default.
- W4288280022 hasAuthorship W4288280022A5003960429 @default.
- W4288280022 hasAuthorship W4288280022A5013382452 @default.
- W4288280022 hasAuthorship W4288280022A5025346659 @default.
- W4288280022 hasAuthorship W4288280022A5027518479 @default.
- W4288280022 hasAuthorship W4288280022A5041431787 @default.
- W4288280022 hasAuthorship W4288280022A5072416125 @default.
- W4288280022 hasAuthorship W4288280022A5073426725 @default.
- W4288280022 hasBestOaLocation W42882800223 @default.
- W4288280022 hasConcept C118615104 @default.
- W4288280022 hasConcept C135315306 @default.
- W4288280022 hasConcept C154945302 @default.
- W4288280022 hasConcept C171250308 @default.
- W4288280022 hasConcept C192562407 @default.
- W4288280022 hasConcept C2780069185 @default.
- W4288280022 hasConcept C2780841128 @default.
- W4288280022 hasConcept C33923547 @default.
- W4288280022 hasConcept C41008148 @default.
- W4288280022 hasConcept C49937458 @default.
- W4288280022 hasConcept C80444323 @default.
- W4288280022 hasConceptScore W4288280022C118615104 @default.
- W4288280022 hasConceptScore W4288280022C135315306 @default.
- W4288280022 hasConceptScore W4288280022C154945302 @default.
- W4288280022 hasConceptScore W4288280022C171250308 @default.
- W4288280022 hasConceptScore W4288280022C192562407 @default.
- W4288280022 hasConceptScore W4288280022C2780069185 @default.
- W4288280022 hasConceptScore W4288280022C2780841128 @default.
- W4288280022 hasConceptScore W4288280022C33923547 @default.
- W4288280022 hasConceptScore W4288280022C41008148 @default.
- W4288280022 hasConceptScore W4288280022C49937458 @default.
- W4288280022 hasConceptScore W4288280022C80444323 @default.
- W4288280022 hasFunder F4320334678 @default.
- W4288280022 hasFunder F4320334764 @default.
- W4288280022 hasFunder F4320338112 @default.
- W4288280022 hasIssue "2" @default.
- W4288280022 hasLocation W42882800221 @default.
- W4288280022 hasLocation W42882800222 @default.
- W4288280022 hasLocation W42882800223 @default.
- W4288280022 hasLocation W42882800224 @default.
- W4288280022 hasOpenAccess W4288280022 @default.