Matches in SemOpenAlex for { <https://semopenalex.org/work/W2281454872> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2281454872 endingPage "25" @default.
- W2281454872 startingPage "1" @default.
- W2281454872 abstract "A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales. A number of examples underpin the universality of these constructions, the most prominent ones being separation logics, where convolution is separating conjunction in an assertion quantale; interval logics, where convolution is the chop operation; and stream interval functions, where convolution is proposed for analysing the trajectories of dynamical or real-time systems. A Hoare logic can be constructed in a generic fashion on the power-series quantale, which applies to each of these examples. In many cases, commutative notions of convolution have natural interpretations as concurrency operations." @default.
- W2281454872 created "2016-06-24" @default.
- W2281454872 creator A5004734550 @default.
- W2281454872 creator A5012214843 @default.
- W2281454872 creator A5054584529 @default.
- W2281454872 date "2016-02-17" @default.
- W2281454872 modified "2023-09-27" @default.
- W2281454872 title "Convolution as a Unifying Concept" @default.
- W2281454872 cites W1552230033 @default.
- W2281454872 cites W1643571618 @default.
- W2281454872 cites W1965662337 @default.
- W2281454872 cites W1981404622 @default.
- W2281454872 cites W1991748341 @default.
- W2281454872 cites W1992205482 @default.
- W2281454872 cites W2008132476 @default.
- W2281454872 cites W2028782705 @default.
- W2281454872 cites W2040661328 @default.
- W2281454872 cites W2068404886 @default.
- W2281454872 cites W2073764215 @default.
- W2281454872 cites W2096490078 @default.
- W2281454872 cites W2112576833 @default.
- W2281454872 cites W2117694222 @default.
- W2281454872 cites W2135318248 @default.
- W2281454872 cites W2148687959 @default.
- W2281454872 cites W2150224578 @default.
- W2281454872 cites W2315064349 @default.
- W2281454872 cites W4239428245 @default.
- W2281454872 cites W4240175364 @default.
- W2281454872 cites W4256027310 @default.
- W2281454872 cites W84232747 @default.
- W2281454872 doi "https://doi.org/10.1145/2874773" @default.
- W2281454872 hasPublicationYear "2016" @default.
- W2281454872 type Work @default.
- W2281454872 sameAs 2281454872 @default.
- W2281454872 citedByCount "10" @default.
- W2281454872 countsByYear W22814548722017 @default.
- W2281454872 countsByYear W22814548722019 @default.
- W2281454872 countsByYear W22814548722020 @default.
- W2281454872 countsByYear W22814548722021 @default.
- W2281454872 countsByYear W22814548722022 @default.
- W2281454872 countsByYear W22814548722023 @default.
- W2281454872 crossrefType "journal-article" @default.
- W2281454872 hasAuthorship W2281454872A5004734550 @default.
- W2281454872 hasAuthorship W2281454872A5012214843 @default.
- W2281454872 hasAuthorship W2281454872A5054584529 @default.
- W2281454872 hasBestOaLocation W22814548722 @default.
- W2281454872 hasConcept C118615104 @default.
- W2281454872 hasConcept C121332964 @default.
- W2281454872 hasConcept C136119220 @default.
- W2281454872 hasConcept C154945302 @default.
- W2281454872 hasConcept C183778304 @default.
- W2281454872 hasConcept C183992945 @default.
- W2281454872 hasConcept C193702766 @default.
- W2281454872 hasConcept C199360897 @default.
- W2281454872 hasConcept C202444582 @default.
- W2281454872 hasConcept C33923547 @default.
- W2281454872 hasConcept C40422974 @default.
- W2281454872 hasConcept C41008148 @default.
- W2281454872 hasConcept C45347329 @default.
- W2281454872 hasConcept C50644808 @default.
- W2281454872 hasConcept C62520636 @default.
- W2281454872 hasConceptScore W2281454872C118615104 @default.
- W2281454872 hasConceptScore W2281454872C121332964 @default.
- W2281454872 hasConceptScore W2281454872C136119220 @default.
- W2281454872 hasConceptScore W2281454872C154945302 @default.
- W2281454872 hasConceptScore W2281454872C183778304 @default.
- W2281454872 hasConceptScore W2281454872C183992945 @default.
- W2281454872 hasConceptScore W2281454872C193702766 @default.
- W2281454872 hasConceptScore W2281454872C199360897 @default.
- W2281454872 hasConceptScore W2281454872C202444582 @default.
- W2281454872 hasConceptScore W2281454872C33923547 @default.
- W2281454872 hasConceptScore W2281454872C40422974 @default.
- W2281454872 hasConceptScore W2281454872C41008148 @default.
- W2281454872 hasConceptScore W2281454872C45347329 @default.
- W2281454872 hasConceptScore W2281454872C50644808 @default.
- W2281454872 hasConceptScore W2281454872C62520636 @default.
- W2281454872 hasFunder F4320334627 @default.
- W2281454872 hasFunder F4320334704 @default.
- W2281454872 hasIssue "3" @default.
- W2281454872 hasLocation W22814548721 @default.
- W2281454872 hasLocation W22814548722 @default.
- W2281454872 hasOpenAccess W2281454872 @default.
- W2281454872 hasPrimaryLocation W22814548721 @default.
- W2281454872 hasRelatedWork W1954846941 @default.
- W2281454872 hasRelatedWork W2049878081 @default.
- W2281454872 hasRelatedWork W2055520238 @default.
- W2281454872 hasRelatedWork W2071709946 @default.
- W2281454872 hasRelatedWork W2151801103 @default.
- W2281454872 hasRelatedWork W2187411898 @default.
- W2281454872 hasRelatedWork W2949114800 @default.
- W2281454872 hasRelatedWork W2964333138 @default.
- W2281454872 hasRelatedWork W3134991707 @default.
- W2281454872 hasRelatedWork W3199852337 @default.
- W2281454872 hasVolume "17" @default.
- W2281454872 isParatext "false" @default.
- W2281454872 isRetracted "false" @default.
- W2281454872 magId "2281454872" @default.
- W2281454872 workType "article" @default.