Matches in SemOpenAlex for { <https://semopenalex.org/work/W3090991792> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3090991792 abstract "The coalgebraic modelling of alternating automata and of probabilistic automata has long been obstructed by the absence of distributive laws of the powerset monad over itself, respectively of the powerset monad over the finite distribution monad. This can be fixed using the framework of weak distributive laws. We extend this framework to the case when one of the monads is only a functor. We provide abstract compositionality results, a generalized determinization procedure, and systematic soundness of up-to techniques. Along the way, we apply these results to alternating automata as a motivating example. Another example is given by probabilistic automata, for which our results yield soundness of bisimulation up-to convex hull." @default.
- W3090991792 created "2020-10-08" @default.
- W3090991792 creator A5050625869 @default.
- W3090991792 creator A5087070796 @default.
- W3090991792 date "2020-10-02" @default.
- W3090991792 modified "2023-09-27" @default.
- W3090991792 title "Combining Weak Distributive Laws: Application to Up-To Techniques." @default.
- W3090991792 cites W1539196615 @default.
- W3090991792 cites W2007281030 @default.
- W3090991792 cites W2034853716 @default.
- W3090991792 cites W2077019667 @default.
- W3090991792 cites W2089549471 @default.
- W3090991792 cites W2245651640 @default.
- W3090991792 cites W2468444917 @default.
- W3090991792 cites W2606036170 @default.
- W3090991792 cites W2714419060 @default.
- W3090991792 cites W2796133244 @default.
- W3090991792 cites W2905459795 @default.
- W3090991792 cites W2944306120 @default.
- W3090991792 cites W2963465693 @default.
- W3090991792 cites W2963852542 @default.
- W3090991792 cites W2964942624 @default.
- W3090991792 cites W2966086059 @default.
- W3090991792 cites W3024760727 @default.
- W3090991792 cites W3098518392 @default.
- W3090991792 cites W813146449 @default.
- W3090991792 hasPublicationYear "2020" @default.
- W3090991792 type Work @default.
- W3090991792 sameAs 3090991792 @default.
- W3090991792 citedByCount "1" @default.
- W3090991792 countsByYear W30909917922022 @default.
- W3090991792 crossrefType "posted-content" @default.
- W3090991792 hasAuthorship W3090991792A5050625869 @default.
- W3090991792 hasAuthorship W3090991792A5087070796 @default.
- W3090991792 hasConcept C112505250 @default.
- W3090991792 hasConcept C11821877 @default.
- W3090991792 hasConcept C121375916 @default.
- W3090991792 hasConcept C135315306 @default.
- W3090991792 hasConcept C136119220 @default.
- W3090991792 hasConcept C154945302 @default.
- W3090991792 hasConcept C156772000 @default.
- W3090991792 hasConcept C199360897 @default.
- W3090991792 hasConcept C202444582 @default.
- W3090991792 hasConcept C2778249326 @default.
- W3090991792 hasConcept C33923547 @default.
- W3090991792 hasConcept C33959348 @default.
- W3090991792 hasConcept C39920170 @default.
- W3090991792 hasConcept C41008148 @default.
- W3090991792 hasConcept C49937458 @default.
- W3090991792 hasConcept C80444323 @default.
- W3090991792 hasConceptScore W3090991792C112505250 @default.
- W3090991792 hasConceptScore W3090991792C11821877 @default.
- W3090991792 hasConceptScore W3090991792C121375916 @default.
- W3090991792 hasConceptScore W3090991792C135315306 @default.
- W3090991792 hasConceptScore W3090991792C136119220 @default.
- W3090991792 hasConceptScore W3090991792C154945302 @default.
- W3090991792 hasConceptScore W3090991792C156772000 @default.
- W3090991792 hasConceptScore W3090991792C199360897 @default.
- W3090991792 hasConceptScore W3090991792C202444582 @default.
- W3090991792 hasConceptScore W3090991792C2778249326 @default.
- W3090991792 hasConceptScore W3090991792C33923547 @default.
- W3090991792 hasConceptScore W3090991792C33959348 @default.
- W3090991792 hasConceptScore W3090991792C39920170 @default.
- W3090991792 hasConceptScore W3090991792C41008148 @default.
- W3090991792 hasConceptScore W3090991792C49937458 @default.
- W3090991792 hasConceptScore W3090991792C80444323 @default.
- W3090991792 hasLocation W30909917921 @default.
- W3090991792 hasOpenAccess W3090991792 @default.
- W3090991792 hasPrimaryLocation W30909917921 @default.
- W3090991792 hasRelatedWork W118676048 @default.
- W3090991792 hasRelatedWork W1505927408 @default.
- W3090991792 hasRelatedWork W1964907332 @default.
- W3090991792 hasRelatedWork W1981175075 @default.
- W3090991792 hasRelatedWork W2019671021 @default.
- W3090991792 hasRelatedWork W2029017938 @default.
- W3090991792 hasRelatedWork W2061164145 @default.
- W3090991792 hasRelatedWork W2157657301 @default.
- W3090991792 hasRelatedWork W2166514831 @default.
- W3090991792 hasRelatedWork W2242694813 @default.
- W3090991792 hasRelatedWork W2245651640 @default.
- W3090991792 hasRelatedWork W2610916331 @default.
- W3090991792 hasRelatedWork W2764296810 @default.
- W3090991792 hasRelatedWork W2788523799 @default.
- W3090991792 hasRelatedWork W2952160849 @default.
- W3090991792 hasRelatedWork W2953325440 @default.
- W3090991792 hasRelatedWork W2963852542 @default.
- W3090991792 hasRelatedWork W3024760727 @default.
- W3090991792 hasRelatedWork W58003850 @default.
- W3090991792 hasRelatedWork W3150432705 @default.
- W3090991792 isParatext "false" @default.
- W3090991792 isRetracted "false" @default.
- W3090991792 magId "3090991792" @default.
- W3090991792 workType "article" @default.