Matches in SemOpenAlex for { <https://semopenalex.org/work/W391307657> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W391307657 abstract "We investigate the possibility of deriving metric trace semantics in a coalgebraic framework. First, we generalize a technique for systematically lifting functors from the category Set of sets to the category PMet of pseudometric spaces, by identifying conditions under which also natural transformations, monads and distributive laws can be lifted. By exploiting some recent work on an abstract determinization, these results enable the derivation of trace metrics starting from coalgebras in Set. More precisely, for a coalgebra in Set we determinize it, thus obtaining a coalgebra in the Eilenberg-Moore category of a monad. When the monad can be lifted to PMet, we can equip the final coalgebra with a behavioral distance. The trace distance between two states of the original coalgebra is the distance between their images in the determinized coalgebra through the unit of the monad. We show how our framework applies to nondeterministic automata and probabilistic automata." @default.
- W391307657 created "2016-06-24" @default.
- W391307657 creator A5007756001 @default.
- W391307657 creator A5031056947 @default.
- W391307657 creator A5063161038 @default.
- W391307657 creator A5004609161 @default.
- W391307657 date "2015-06-24" @default.
- W391307657 modified "2023-10-17" @default.
- W391307657 title "Towards Trace Metrics via Functor Lifting" @default.
- W391307657 cites W1515897776 @default.
- W391307657 cites W1528269269 @default.
- W391307657 cites W1531625469 @default.
- W391307657 cites W1563218161 @default.
- W391307657 cites W173641204 @default.
- W391307657 cites W176827812 @default.
- W391307657 cites W1969279113 @default.
- W391307657 cites W2015172530 @default.
- W391307657 cites W2019671021 @default.
- W391307657 cites W2063972032 @default.
- W391307657 cites W2076087052 @default.
- W391307657 cites W2077019667 @default.
- W391307657 cites W2088189323 @default.
- W391307657 cites W2090847457 @default.
- W391307657 cites W2098962004 @default.
- W391307657 cites W2101032471 @default.
- W391307657 cites W2125422788 @default.
- W391307657 cites W2126634848 @default.
- W391307657 cites W2518771331 @default.
- W391307657 cites W2963741069 @default.
- W391307657 cites W3022137235 @default.
- W391307657 cites W3189472968 @default.
- W391307657 doi "https://doi.org/10.4230/lipics.calco.2015.35" @default.
- W391307657 hasPublicationYear "2015" @default.
- W391307657 type Work @default.
- W391307657 sameAs 391307657 @default.
- W391307657 citedByCount "2" @default.
- W391307657 countsByYear W3913076572015 @default.
- W391307657 countsByYear W3913076572017 @default.
- W391307657 crossrefType "proceedings-article" @default.
- W391307657 hasAuthorship W391307657A5004609161 @default.
- W391307657 hasAuthorship W391307657A5007756001 @default.
- W391307657 hasAuthorship W391307657A5031056947 @default.
- W391307657 hasAuthorship W391307657A5063161038 @default.
- W391307657 hasBestOaLocation W3913076573 @default.
- W391307657 hasConcept C118615104 @default.
- W391307657 hasConcept C138885662 @default.
- W391307657 hasConcept C156772000 @default.
- W391307657 hasConcept C33923547 @default.
- W391307657 hasConcept C41008148 @default.
- W391307657 hasConcept C41895202 @default.
- W391307657 hasConcept C75291252 @default.
- W391307657 hasConceptScore W391307657C118615104 @default.
- W391307657 hasConceptScore W391307657C138885662 @default.
- W391307657 hasConceptScore W391307657C156772000 @default.
- W391307657 hasConceptScore W391307657C33923547 @default.
- W391307657 hasConceptScore W391307657C41008148 @default.
- W391307657 hasConceptScore W391307657C41895202 @default.
- W391307657 hasConceptScore W391307657C75291252 @default.
- W391307657 hasLocation W3913076571 @default.
- W391307657 hasLocation W3913076572 @default.
- W391307657 hasLocation W3913076573 @default.
- W391307657 hasLocation W3913076574 @default.
- W391307657 hasOpenAccess W391307657 @default.
- W391307657 hasPrimaryLocation W3913076571 @default.
- W391307657 hasRelatedWork W1615487630 @default.
- W391307657 hasRelatedWork W2358668433 @default.
- W391307657 hasRelatedWork W2376932109 @default.
- W391307657 hasRelatedWork W2390279801 @default.
- W391307657 hasRelatedWork W2748952813 @default.
- W391307657 hasRelatedWork W2899084033 @default.
- W391307657 hasRelatedWork W2997091376 @default.
- W391307657 hasRelatedWork W2997389523 @default.
- W391307657 hasRelatedWork W4293316580 @default.
- W391307657 hasRelatedWork W95605005 @default.
- W391307657 isParatext "false" @default.
- W391307657 isRetracted "false" @default.
- W391307657 magId "391307657" @default.
- W391307657 workType "article" @default.