Matches in SemOpenAlex for { <https://semopenalex.org/work/W2053290352> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2053290352 abstract "Some years ago, Turi and Plotkin gave a precise mathematical formulation of a notion of structural operational semantics: their formulation is equivalent to a distributive law of the free monad on a signature over the cofree copointed endofunctor on a behaviour endofunctor. From such a distributive law, one can readily induce a distributive law of the monad over the cofree comonad on the behaviour endofunctor, and much of their analysis can be carried out in the latter terms, adding a little more generality that proves to be vital here. Here, largely at the latter level of generality, we investigate the situation in which one has two sorts of behaviours, with operational semantics possibly interacting with each other. Our leading examples are given by combining action and timing, with a modular account of the operational semantics for the combination induced by that of each of the two components. Our study necessitates investigation and new results about products of comonads and liftings of monads to categories of coalgebras for the product of comonads, providing constructions with which one can readily calculate." @default.
- W2053290352 created "2016-06-24" @default.
- W2053290352 creator A5041453886 @default.
- W2053290352 creator A5082619162 @default.
- W2053290352 date "2004-12-01" @default.
- W2053290352 modified "2023-09-23" @default.
- W2053290352 title "Modularity of Behaviours for Mathematical Operational Semantics" @default.
- W2053290352 cites W1518444163 @default.
- W2053290352 cites W1563339455 @default.
- W2053290352 cites W1980827618 @default.
- W2053290352 cites W2075406361 @default.
- W2053290352 cites W2079655821 @default.
- W2053290352 cites W2089549471 @default.
- W2053290352 cites W2092786729 @default.
- W2053290352 cites W4213084408 @default.
- W2053290352 doi "https://doi.org/10.1016/j.entcs.2004.02.030" @default.
- W2053290352 hasPublicationYear "2004" @default.
- W2053290352 type Work @default.
- W2053290352 sameAs 2053290352 @default.
- W2053290352 citedByCount "4" @default.
- W2053290352 crossrefType "journal-article" @default.
- W2053290352 hasAuthorship W2053290352A5041453886 @default.
- W2053290352 hasAuthorship W2053290352A5082619162 @default.
- W2053290352 hasBestOaLocation W20532903521 @default.
- W2053290352 hasConcept C101468663 @default.
- W2053290352 hasConcept C11821877 @default.
- W2053290352 hasConcept C136119220 @default.
- W2053290352 hasConcept C156325763 @default.
- W2053290352 hasConcept C156772000 @default.
- W2053290352 hasConcept C15744967 @default.
- W2053290352 hasConcept C184337299 @default.
- W2053290352 hasConcept C199360897 @default.
- W2053290352 hasConcept C202444582 @default.
- W2053290352 hasConcept C2779478453 @default.
- W2053290352 hasConcept C2780767217 @default.
- W2053290352 hasConcept C33923547 @default.
- W2053290352 hasConcept C33959348 @default.
- W2053290352 hasConcept C41008148 @default.
- W2053290352 hasConcept C542102704 @default.
- W2053290352 hasConcept C54355233 @default.
- W2053290352 hasConcept C80444323 @default.
- W2053290352 hasConcept C86803240 @default.
- W2053290352 hasConceptScore W2053290352C101468663 @default.
- W2053290352 hasConceptScore W2053290352C11821877 @default.
- W2053290352 hasConceptScore W2053290352C136119220 @default.
- W2053290352 hasConceptScore W2053290352C156325763 @default.
- W2053290352 hasConceptScore W2053290352C156772000 @default.
- W2053290352 hasConceptScore W2053290352C15744967 @default.
- W2053290352 hasConceptScore W2053290352C184337299 @default.
- W2053290352 hasConceptScore W2053290352C199360897 @default.
- W2053290352 hasConceptScore W2053290352C202444582 @default.
- W2053290352 hasConceptScore W2053290352C2779478453 @default.
- W2053290352 hasConceptScore W2053290352C2780767217 @default.
- W2053290352 hasConceptScore W2053290352C33923547 @default.
- W2053290352 hasConceptScore W2053290352C33959348 @default.
- W2053290352 hasConceptScore W2053290352C41008148 @default.
- W2053290352 hasConceptScore W2053290352C542102704 @default.
- W2053290352 hasConceptScore W2053290352C54355233 @default.
- W2053290352 hasConceptScore W2053290352C80444323 @default.
- W2053290352 hasConceptScore W2053290352C86803240 @default.
- W2053290352 hasLocation W20532903521 @default.
- W2053290352 hasLocation W20532903522 @default.
- W2053290352 hasOpenAccess W2053290352 @default.
- W2053290352 hasPrimaryLocation W20532903521 @default.
- W2053290352 hasRelatedWork W1576648414 @default.
- W2053290352 hasRelatedWork W1778728081 @default.
- W2053290352 hasRelatedWork W2066299652 @default.
- W2053290352 hasRelatedWork W2139628421 @default.
- W2053290352 hasRelatedWork W2294570182 @default.
- W2053290352 hasRelatedWork W2566063885 @default.
- W2053290352 hasRelatedWork W2637232237 @default.
- W2053290352 hasRelatedWork W27605384 @default.
- W2053290352 hasRelatedWork W2919409937 @default.
- W2053290352 hasRelatedWork W2788308474 @default.
- W2053290352 isParatext "false" @default.
- W2053290352 isRetracted "false" @default.
- W2053290352 magId "2053290352" @default.
- W2053290352 workType "article" @default.