Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549064025> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1549064025 endingPage "317" @default.
- W1549064025 startingPage "303" @default.
- W1549064025 abstract "Simulations between processes can be understood in terms of coalgebra homomorphisms, with homomorphisms to the final coalgebra exactly identifying bisimilar processes. The elements of the final coalgebra are thus natural representatives of bisimilarity classes, and a denotational semantics of processes can be developed in a final-coalgebra- enriched category where arrows are processes, canonically represented. In the present paper, we describe a general framework for building final- coalgebra-enriched categories. Every such category is constructed from a multivariant functor representing a notion of process, much like Moggi’s categories of computations arising from monads as notions of computation. The “notion of process” functors are intended to capture different flavors of processes as dynamically extended computations. These functors may involve a computational (co)monad, so that a process category in many cases contains an associated computational category as a retract. We further discuss categories of resumptions and of hyperfunctions, which are the main examples of process categories. Very informally, the resumptions can be understood as computations extended in time, whereas hypercomputations are extended in space." @default.
- W1549064025 created "2016-06-24" @default.
- W1549064025 creator A5055526112 @default.
- W1549064025 creator A5061638693 @default.
- W1549064025 creator A5087115618 @default.
- W1549064025 date "2001-01-01" @default.
- W1549064025 modified "2023-10-16" @default.
- W1549064025 title "Categories of Processes Enriched in Final Coalgebras" @default.
- W1549064025 cites W1488428340 @default.
- W1549064025 cites W1997143185 @default.
- W1549064025 cites W2040247099 @default.
- W1549064025 cites W2086061699 @default.
- W1549064025 cites W2088189323 @default.
- W1549064025 cites W2095747698 @default.
- W1549064025 cites W2099628768 @default.
- W1549064025 cites W2104603764 @default.
- W1549064025 cites W2108885830 @default.
- W1549064025 cites W2227006551 @default.
- W1549064025 cites W2914837968 @default.
- W1549064025 cites W4205374018 @default.
- W1549064025 doi "https://doi.org/10.1007/3-540-45315-6_20" @default.
- W1549064025 hasPublicationYear "2001" @default.
- W1549064025 type Work @default.
- W1549064025 sameAs 1549064025 @default.
- W1549064025 citedByCount "14" @default.
- W1549064025 countsByYear W15490640252020 @default.
- W1549064025 countsByYear W15490640252022 @default.
- W1549064025 countsByYear W15490640252023 @default.
- W1549064025 crossrefType "book-chapter" @default.
- W1549064025 hasAuthorship W1549064025A5055526112 @default.
- W1549064025 hasAuthorship W1549064025A5061638693 @default.
- W1549064025 hasAuthorship W1549064025A5087115618 @default.
- W1549064025 hasBestOaLocation W15490640251 @default.
- W1549064025 hasConcept C11413529 @default.
- W1549064025 hasConcept C136119220 @default.
- W1549064025 hasConcept C137212723 @default.
- W1549064025 hasConcept C156772000 @default.
- W1549064025 hasConcept C202444582 @default.
- W1549064025 hasConcept C2778249326 @default.
- W1549064025 hasConcept C33923547 @default.
- W1549064025 hasConcept C33959348 @default.
- W1549064025 hasConcept C4042151 @default.
- W1549064025 hasConcept C45374587 @default.
- W1549064025 hasConcept C54884031 @default.
- W1549064025 hasConcept C99633028 @default.
- W1549064025 hasConceptScore W1549064025C11413529 @default.
- W1549064025 hasConceptScore W1549064025C136119220 @default.
- W1549064025 hasConceptScore W1549064025C137212723 @default.
- W1549064025 hasConceptScore W1549064025C156772000 @default.
- W1549064025 hasConceptScore W1549064025C202444582 @default.
- W1549064025 hasConceptScore W1549064025C2778249326 @default.
- W1549064025 hasConceptScore W1549064025C33923547 @default.
- W1549064025 hasConceptScore W1549064025C33959348 @default.
- W1549064025 hasConceptScore W1549064025C4042151 @default.
- W1549064025 hasConceptScore W1549064025C45374587 @default.
- W1549064025 hasConceptScore W1549064025C54884031 @default.
- W1549064025 hasConceptScore W1549064025C99633028 @default.
- W1549064025 hasLocation W15490640251 @default.
- W1549064025 hasOpenAccess W1549064025 @default.
- W1549064025 hasPrimaryLocation W15490640251 @default.
- W1549064025 hasRelatedWork W1549064025 @default.
- W1549064025 hasRelatedWork W2074909326 @default.
- W1549064025 hasRelatedWork W2899975002 @default.
- W1549064025 hasRelatedWork W2902372396 @default.
- W1549064025 hasRelatedWork W2952382513 @default.
- W1549064025 hasRelatedWork W2952714062 @default.
- W1549064025 hasRelatedWork W3157704859 @default.
- W1549064025 hasRelatedWork W429642261 @default.
- W1549064025 hasRelatedWork W952420568 @default.
- W1549064025 hasRelatedWork W2128508034 @default.
- W1549064025 isParatext "false" @default.
- W1549064025 isRetracted "false" @default.
- W1549064025 magId "1549064025" @default.
- W1549064025 workType "book-chapter" @default.