Matches in SemOpenAlex for { <https://semopenalex.org/work/W1776887169> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1776887169 abstract "We study behavioral metrics in an abstract coalgebraic setting. Given a coalgebra alpha: X -> FX in Set, where the functor F specifies the branching type, we define a framework for deriving pseudometrics on X which measure the behavioral distance of states. A first crucial step is the lifting of the functor F on Set to a functor in the category PMet of pseudometric spaces. We present two different approaches which can be viewed as generalizations of the Kantorovich and Wasserstein pseudometrics for probability measures. We show that the pseudometrics provided by the two approaches coincide on several natural examples, but in general they differ. Then a final coalgebra for F in Set can be endowed with a behavioral distance resulting as the smallest solution of a fixed-point equation, yielding the final coalgebra in PMet. The same technique, applied to an arbitrary coalgebra alpha: X -> FX in Set, provides the behavioral distance on X. Under some constraints we can prove that two states are at distance 0 if and only if they are behaviorally equivalent." @default.
- W1776887169 created "2016-06-24" @default.
- W1776887169 creator A5007756001 @default.
- W1776887169 creator A5031056947 @default.
- W1776887169 creator A5063161038 @default.
- W1776887169 creator A5004609161 @default.
- W1776887169 date "2014-10-13" @default.
- W1776887169 modified "2023-09-27" @default.
- W1776887169 title "Behavioral Metrics via Functor Lifting" @default.
- W1776887169 cites W1526289988 @default.
- W1776887169 cites W173641204 @default.
- W1776887169 cites W176827812 @default.
- W1776887169 cites W1969279113 @default.
- W1776887169 cites W1971383138 @default.
- W1776887169 cites W2015172530 @default.
- W1776887169 cites W2088189323 @default.
- W1776887169 cites W259536784 @default.
- W1776887169 cites W3099747567 @default.
- W1776887169 cites W3189472968 @default.
- W1776887169 hasPublicationYear "2014" @default.
- W1776887169 type Work @default.
- W1776887169 sameAs 1776887169 @default.
- W1776887169 citedByCount "2" @default.
- W1776887169 countsByYear W17768871692017 @default.
- W1776887169 countsByYear W17768871692018 @default.
- W1776887169 crossrefType "posted-content" @default.
- W1776887169 hasAuthorship W1776887169A5004609161 @default.
- W1776887169 hasAuthorship W1776887169A5007756001 @default.
- W1776887169 hasAuthorship W1776887169A5031056947 @default.
- W1776887169 hasAuthorship W1776887169A5063161038 @default.
- W1776887169 hasConcept C118615104 @default.
- W1776887169 hasConcept C136119220 @default.
- W1776887169 hasConcept C156772000 @default.
- W1776887169 hasConcept C177264268 @default.
- W1776887169 hasConcept C199360897 @default.
- W1776887169 hasConcept C202444582 @default.
- W1776887169 hasConcept C2778249326 @default.
- W1776887169 hasConcept C33923547 @default.
- W1776887169 hasConcept C41008148 @default.
- W1776887169 hasConceptScore W1776887169C118615104 @default.
- W1776887169 hasConceptScore W1776887169C136119220 @default.
- W1776887169 hasConceptScore W1776887169C156772000 @default.
- W1776887169 hasConceptScore W1776887169C177264268 @default.
- W1776887169 hasConceptScore W1776887169C199360897 @default.
- W1776887169 hasConceptScore W1776887169C202444582 @default.
- W1776887169 hasConceptScore W1776887169C2778249326 @default.
- W1776887169 hasConceptScore W1776887169C33923547 @default.
- W1776887169 hasConceptScore W1776887169C41008148 @default.
- W1776887169 hasLocation W17768871691 @default.
- W1776887169 hasOpenAccess W1776887169 @default.
- W1776887169 hasPrimaryLocation W17768871691 @default.
- W1776887169 hasRelatedWork W1698833242 @default.
- W1776887169 hasRelatedWork W1934954299 @default.
- W1776887169 hasRelatedWork W1968577168 @default.
- W1776887169 hasRelatedWork W1997563570 @default.
- W1776887169 hasRelatedWork W2093347052 @default.
- W1776887169 hasRelatedWork W2104717233 @default.
- W1776887169 hasRelatedWork W2119604945 @default.
- W1776887169 hasRelatedWork W2121306658 @default.
- W1776887169 hasRelatedWork W2264723279 @default.
- W1776887169 hasRelatedWork W2774269848 @default.
- W1776887169 hasRelatedWork W2803424130 @default.
- W1776887169 hasRelatedWork W2951973246 @default.
- W1776887169 hasRelatedWork W2962774860 @default.
- W1776887169 hasRelatedWork W2963201970 @default.
- W1776887169 hasRelatedWork W2963566795 @default.
- W1776887169 hasRelatedWork W2963741069 @default.
- W1776887169 hasRelatedWork W2964213795 @default.
- W1776887169 hasRelatedWork W3146794696 @default.
- W1776887169 hasRelatedWork W72545483 @default.
- W1776887169 hasRelatedWork W2128508034 @default.
- W1776887169 isParatext "false" @default.
- W1776887169 isRetracted "false" @default.
- W1776887169 magId "1776887169" @default.
- W1776887169 workType "article" @default.