FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082953669> ?p ?o ?g. }

• W3082953669 endingPage "154" @default.
• W3082953669 startingPage "133" @default.
• W3082953669 abstract "Behavioural equivalences can be characterized via bisimulation, modal logics, and spoiler-duplicator games. In this paper we work in the general setting of coalgebra and focus on generic algorithms for computing the winning strategies of both players in a bisimulation game. The winning strategy of the spoiler (if it exists) is then transformed into a modal formula that distinguishes the given non-bisimilar states. The modalities required for the formula are also synthesized on-the-fly, and we present a recipe for re-coding the formula with different modalities, given by a separating set of predicate liftings. Both the game and the generation of the distinguishing formulas have been implemented in a tool called T-BEG." @default.
• W3082953669 created "2020-09-08" @default.
• W3082953669 creator A5039879594 @default.
• W3082953669 creator A5063161038 @default.
• W3082953669 creator A5073765060 @default.
• W3082953669 date "2020-01-01" @default.
• W3082953669 modified "2023-09-25" @default.
• W3082953669 title "Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas" @default.
• W3082953669 cites W120538431 @default.
• W3082953669 cites W1585206918 @default.
• W3082953669 cites W1978469611 @default.
• W3082953669 cites W1982431152 @default.
• W3082953669 cites W1989540314 @default.
• W3082953669 cites W2003770962 @default.
• W3082953669 cites W2009762006 @default.
• W3082953669 cites W2021473546 @default.
• W3082953669 cites W2060917500 @default.
• W3082953669 cites W2068361557 @default.
• W3082953669 cites W2083896385 @default.
• W3082953669 cites W2088189323 @default.
• W3082953669 cites W2108886305 @default.
• W3082953669 cites W2126519460 @default.
• W3082953669 cites W2126634848 @default.
• W3082953669 cites W2522575395 @default.
• W3082953669 cites W2963084494 @default.
• W3082953669 cites W2964568064 @default.
• W3082953669 cites W2978891950 @default.
• W3082953669 cites W3189472968 @default.
• W3082953669 cites W4236251393 @default.
• W3082953669 cites W56167739 @default.
• W3082953669 doi "https://doi.org/10.1007/978-3-030-57201-3_8" @default.
• W3082953669 hasPublicationYear "2020" @default.
• W3082953669 type Work @default.
• W3082953669 sameAs 3082953669 @default.
• W3082953669 citedByCount "4" @default.
• W3082953669 countsByYear W30829536692021 @default.
• W3082953669 countsByYear W30829536692022 @default.
• W3082953669 countsByYear W30829536692023 @default.
• W3082953669 crossrefType "book-chapter" @default.
• W3082953669 hasAuthorship W3082953669A5039879594 @default.
• W3082953669 hasAuthorship W3082953669A5063161038 @default.
• W3082953669 hasAuthorship W3082953669A5073765060 @default.
• W3082953669 hasBestOaLocation W30829536692 @default.
• W3082953669 hasConcept C105795698 @default.
• W3082953669 hasConcept C11413529 @default.
• W3082953669 hasConcept C118615104 @default.
• W3082953669 hasConcept C135315306 @default.
• W3082953669 hasConcept C136119220 @default.
• W3082953669 hasConcept C140146324 @default.
• W3082953669 hasConcept C144024400 @default.
• W3082953669 hasConcept C177264268 @default.
• W3082953669 hasConcept C179518139 @default.
• W3082953669 hasConcept C185592680 @default.
• W3082953669 hasConcept C188027245 @default.
• W3082953669 hasConcept C199360897 @default.
• W3082953669 hasConcept C202444582 @default.
• W3082953669 hasConcept C2333172 @default.
• W3082953669 hasConcept C27508121 @default.
• W3082953669 hasConcept C2778249326 @default.
• W3082953669 hasConcept C2779903281 @default.
• W3082953669 hasConcept C33923547 @default.
• W3082953669 hasConcept C36289849 @default.
• W3082953669 hasConcept C41008148 @default.
• W3082953669 hasConcept C71139939 @default.
• W3082953669 hasConcept C80444323 @default.
• W3082953669 hasConceptScore W3082953669C105795698 @default.
• W3082953669 hasConceptScore W3082953669C11413529 @default.
• W3082953669 hasConceptScore W3082953669C118615104 @default.
• W3082953669 hasConceptScore W3082953669C135315306 @default.
• W3082953669 hasConceptScore W3082953669C136119220 @default.
• W3082953669 hasConceptScore W3082953669C140146324 @default.
• W3082953669 hasConceptScore W3082953669C144024400 @default.
• W3082953669 hasConceptScore W3082953669C177264268 @default.
• W3082953669 hasConceptScore W3082953669C179518139 @default.
• W3082953669 hasConceptScore W3082953669C185592680 @default.
• W3082953669 hasConceptScore W3082953669C188027245 @default.
• W3082953669 hasConceptScore W3082953669C199360897 @default.
• W3082953669 hasConceptScore W3082953669C202444582 @default.
• W3082953669 hasConceptScore W3082953669C2333172 @default.
• W3082953669 hasConceptScore W3082953669C27508121 @default.
• W3082953669 hasConceptScore W3082953669C2778249326 @default.
• W3082953669 hasConceptScore W3082953669C2779903281 @default.
• W3082953669 hasConceptScore W3082953669C33923547 @default.
• W3082953669 hasConceptScore W3082953669C36289849 @default.
• W3082953669 hasConceptScore W3082953669C41008148 @default.
• W3082953669 hasConceptScore W3082953669C71139939 @default.
• W3082953669 hasConceptScore W3082953669C80444323 @default.
• W3082953669 hasLocation W30829536691 @default.
• W3082953669 hasLocation W30829536692 @default.
• W3082953669 hasLocation W30829536693 @default.
• W3082953669 hasLocation W30829536694 @default.
• W3082953669 hasLocation W30829536695 @default.
• W3082953669 hasOpenAccess W3082953669 @default.
• W3082953669 hasPrimaryLocation W30829536691 @default.
• W3082953669 hasRelatedWork W1527443418 @default.
• W3082953669 hasRelatedWork W1989540314 @default.
• W3082953669 hasRelatedWork W2048842934 @default.
• W3082953669 hasRelatedWork W2067704480 @default.

• next