Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384159788> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4384159788 endingPage "21" @default.
- W4384159788 startingPage "3" @default.
- W4384159788 abstract "Fixpoints are ubiquitous in computer science as they play a central role in providing a meaning to recursive and cyclic definitions. Bisimilarity, behavioural metrics, termination probabilities for Markov chains and stochastic games are defined in terms of least or greatest fixpoints. Here we show that our recent work which proposes a technique for checking whether the fixpoint of a function is the least (or the largest) admits a natural categorical interpretation in terms of gs-monoidal categories. The technique is based on a construction that maps a function to a suitable approximation and the compositionality properties of this mapping are naturally interpreted as a gs-monoidal functor. This guides the realisation of a tool, called UDEfix that allows to build functions (and their approximations) like a circuit out of basic building blocks and subsequently perform the fixpoints checks. We also show that a slight generalisation of the theory allows one to treat a new relevant case study: coalgebraic behavioural metrics based on Wasserstein liftings." @default.
- W4384159788 created "2023-07-14" @default.
- W4384159788 creator A5000145679 @default.
- W4384159788 creator A5020071127 @default.
- W4384159788 creator A5022360802 @default.
- W4384159788 creator A5031056947 @default.
- W4384159788 creator A5063161038 @default.
- W4384159788 date "2023-01-01" @default.
- W4384159788 modified "2023-09-26" @default.
- W4384159788 title "A Monoidal View on Fixpoint Checks" @default.
- W4384159788 cites W1487429213 @default.
- W4384159788 cites W1542911159 @default.
- W4384159788 cites W176827812 @default.
- W4384159788 cites W1982431152 @default.
- W4384159788 cites W2015172530 @default.
- W4384159788 cites W2046213250 @default.
- W4384159788 cites W2088189323 @default.
- W4384159788 cites W2120713972 @default.
- W4384159788 cites W2768930898 @default.
- W4384159788 cites W3140577997 @default.
- W4384159788 cites W3189472968 @default.
- W4384159788 cites W369805404 @default.
- W4384159788 cites W4238920318 @default.
- W4384159788 cites W4379800149 @default.
- W4384159788 doi "https://doi.org/10.1007/978-3-031-36709-0_1" @default.
- W4384159788 hasPublicationYear "2023" @default.
- W4384159788 type Work @default.
- W4384159788 citedByCount "0" @default.
- W4384159788 crossrefType "book-chapter" @default.
- W4384159788 hasAuthorship W4384159788A5000145679 @default.
- W4384159788 hasAuthorship W4384159788A5020071127 @default.
- W4384159788 hasAuthorship W4384159788A5022360802 @default.
- W4384159788 hasAuthorship W4384159788A5031056947 @default.
- W4384159788 hasAuthorship W4384159788A5063161038 @default.
- W4384159788 hasConcept C11413529 @default.
- W4384159788 hasConcept C118615104 @default.
- W4384159788 hasConcept C119857082 @default.
- W4384159788 hasConcept C121375916 @default.
- W4384159788 hasConcept C134306372 @default.
- W4384159788 hasConcept C14036430 @default.
- W4384159788 hasConcept C154945302 @default.
- W4384159788 hasConcept C156772000 @default.
- W4384159788 hasConcept C199360897 @default.
- W4384159788 hasConcept C2780654840 @default.
- W4384159788 hasConcept C33923547 @default.
- W4384159788 hasConcept C41008148 @default.
- W4384159788 hasConcept C5274069 @default.
- W4384159788 hasConcept C527412718 @default.
- W4384159788 hasConcept C61445026 @default.
- W4384159788 hasConcept C78458016 @default.
- W4384159788 hasConcept C80444323 @default.
- W4384159788 hasConcept C86803240 @default.
- W4384159788 hasConceptScore W4384159788C11413529 @default.
- W4384159788 hasConceptScore W4384159788C118615104 @default.
- W4384159788 hasConceptScore W4384159788C119857082 @default.
- W4384159788 hasConceptScore W4384159788C121375916 @default.
- W4384159788 hasConceptScore W4384159788C134306372 @default.
- W4384159788 hasConceptScore W4384159788C14036430 @default.
- W4384159788 hasConceptScore W4384159788C154945302 @default.
- W4384159788 hasConceptScore W4384159788C156772000 @default.
- W4384159788 hasConceptScore W4384159788C199360897 @default.
- W4384159788 hasConceptScore W4384159788C2780654840 @default.
- W4384159788 hasConceptScore W4384159788C33923547 @default.
- W4384159788 hasConceptScore W4384159788C41008148 @default.
- W4384159788 hasConceptScore W4384159788C5274069 @default.
- W4384159788 hasConceptScore W4384159788C527412718 @default.
- W4384159788 hasConceptScore W4384159788C61445026 @default.
- W4384159788 hasConceptScore W4384159788C78458016 @default.
- W4384159788 hasConceptScore W4384159788C80444323 @default.
- W4384159788 hasConceptScore W4384159788C86803240 @default.
- W4384159788 hasLocation W43841597881 @default.
- W4384159788 hasOpenAccess W4384159788 @default.
- W4384159788 hasPrimaryLocation W43841597881 @default.
- W4384159788 hasRelatedWork W2021410963 @default.
- W4384159788 hasRelatedWork W2049132990 @default.
- W4384159788 hasRelatedWork W2074638034 @default.
- W4384159788 hasRelatedWork W2137908418 @default.
- W4384159788 hasRelatedWork W2172022734 @default.
- W4384159788 hasRelatedWork W2377542611 @default.
- W4384159788 hasRelatedWork W4206726327 @default.
- W4384159788 hasRelatedWork W4372283205 @default.
- W4384159788 hasRelatedWork W2611182424 @default.
- W4384159788 hasRelatedWork W2789178056 @default.
- W4384159788 isParatext "false" @default.
- W4384159788 isRetracted "false" @default.
- W4384159788 workType "book-chapter" @default.