Matches in SemOpenAlex for { <https://semopenalex.org/work/W3024760727> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3024760727 abstract "Combining probabilistic choice and non-determinism is a long standing problem in denotational semantics. From a category theory perspective, the problem stems from the absence of a distributive law of the powerset monad over the distribution monad. In this paper we prove the existence of a weak distributive law of the powerset monad over the finite distribution monad. As a consequence, we retrieve the well-known convex powerset monad as a weak lifting of the powerset monad to the category of convex algebras. We provide applications to the study of trace semantics and behavioral equivalences of systems with an interplay between probability and non-determinism." @default.
- W3024760727 created "2020-05-21" @default.
- W3024760727 creator A5050625869 @default.
- W3024760727 creator A5087070796 @default.
- W3024760727 date "2020-07-08" @default.
- W3024760727 modified "2023-10-01" @default.
- W3024760727 title "Combining probabilistic and non-deterministic choice via weak distributive laws" @default.
- W3024760727 cites W1964907332 @default.
- W3024760727 cites W1970904244 @default.
- W3024760727 cites W2009311190 @default.
- W3024760727 cites W2034853716 @default.
- W3024760727 cites W2082241908 @default.
- W3024760727 cites W2092744709 @default.
- W3024760727 cites W2098962004 @default.
- W3024760727 cites W2102750354 @default.
- W3024760727 cites W2205707477 @default.
- W3024760727 cites W2468444917 @default.
- W3024760727 cites W2905459795 @default.
- W3024760727 cites W4213277014 @default.
- W3024760727 cites W2011051448 @default.
- W3024760727 doi "https://doi.org/10.1145/3373718.3394795" @default.
- W3024760727 hasPublicationYear "2020" @default.
- W3024760727 type Work @default.
- W3024760727 sameAs 3024760727 @default.
- W3024760727 citedByCount "13" @default.
- W3024760727 countsByYear W30247607272020 @default.
- W3024760727 countsByYear W30247607272021 @default.
- W3024760727 countsByYear W30247607272022 @default.
- W3024760727 countsByYear W30247607272023 @default.
- W3024760727 crossrefType "proceedings-article" @default.
- W3024760727 hasAuthorship W3024760727A5050625869 @default.
- W3024760727 hasAuthorship W3024760727A5087070796 @default.
- W3024760727 hasBestOaLocation W30247607272 @default.
- W3024760727 hasConcept C105795698 @default.
- W3024760727 hasConcept C111472728 @default.
- W3024760727 hasConcept C112680207 @default.
- W3024760727 hasConcept C11821877 @default.
- W3024760727 hasConcept C118615104 @default.
- W3024760727 hasConcept C136119220 @default.
- W3024760727 hasConcept C138885662 @default.
- W3024760727 hasConcept C156325763 @default.
- W3024760727 hasConcept C156772000 @default.
- W3024760727 hasConcept C184337299 @default.
- W3024760727 hasConcept C192183473 @default.
- W3024760727 hasConcept C199360897 @default.
- W3024760727 hasConcept C202444582 @default.
- W3024760727 hasConcept C207648694 @default.
- W3024760727 hasConcept C2524010 @default.
- W3024760727 hasConcept C33923547 @default.
- W3024760727 hasConcept C33959348 @default.
- W3024760727 hasConcept C41008148 @default.
- W3024760727 hasConcept C41895202 @default.
- W3024760727 hasConcept C49937458 @default.
- W3024760727 hasConcept C75291252 @default.
- W3024760727 hasConceptScore W3024760727C105795698 @default.
- W3024760727 hasConceptScore W3024760727C111472728 @default.
- W3024760727 hasConceptScore W3024760727C112680207 @default.
- W3024760727 hasConceptScore W3024760727C11821877 @default.
- W3024760727 hasConceptScore W3024760727C118615104 @default.
- W3024760727 hasConceptScore W3024760727C136119220 @default.
- W3024760727 hasConceptScore W3024760727C138885662 @default.
- W3024760727 hasConceptScore W3024760727C156325763 @default.
- W3024760727 hasConceptScore W3024760727C156772000 @default.
- W3024760727 hasConceptScore W3024760727C184337299 @default.
- W3024760727 hasConceptScore W3024760727C192183473 @default.
- W3024760727 hasConceptScore W3024760727C199360897 @default.
- W3024760727 hasConceptScore W3024760727C202444582 @default.
- W3024760727 hasConceptScore W3024760727C207648694 @default.
- W3024760727 hasConceptScore W3024760727C2524010 @default.
- W3024760727 hasConceptScore W3024760727C33923547 @default.
- W3024760727 hasConceptScore W3024760727C33959348 @default.
- W3024760727 hasConceptScore W3024760727C41008148 @default.
- W3024760727 hasConceptScore W3024760727C41895202 @default.
- W3024760727 hasConceptScore W3024760727C49937458 @default.
- W3024760727 hasConceptScore W3024760727C75291252 @default.
- W3024760727 hasLocation W30247607271 @default.
- W3024760727 hasLocation W30247607272 @default.
- W3024760727 hasLocation W30247607273 @default.
- W3024760727 hasLocation W30247607274 @default.
- W3024760727 hasLocation W30247607275 @default.
- W3024760727 hasOpenAccess W3024760727 @default.
- W3024760727 hasPrimaryLocation W30247607271 @default.
- W3024760727 hasRelatedWork W1513077802 @default.
- W3024760727 hasRelatedWork W1538286026 @default.
- W3024760727 hasRelatedWork W1964907332 @default.
- W3024760727 hasRelatedWork W1970904244 @default.
- W3024760727 hasRelatedWork W2053290352 @default.
- W3024760727 hasRelatedWork W2177291786 @default.
- W3024760727 hasRelatedWork W2797207385 @default.
- W3024760727 hasRelatedWork W2915142316 @default.
- W3024760727 hasRelatedWork W3024760727 @default.
- W3024760727 hasRelatedWork W4288570799 @default.
- W3024760727 isParatext "false" @default.
- W3024760727 isRetracted "false" @default.
- W3024760727 magId "3024760727" @default.
- W3024760727 workType "article" @default.