FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2114930473> ?p ?o ?g. }

• W2114930473 endingPage "55" @default.
• W2114930473 startingPage "27" @default.
• W2114930473 abstract "This paper relates labelled transition systems and coalgebras with the motivation of comparing and combining their complementary contributions to the theory of concurrent systems. The well-known mismatch between these two notions concerning the morphisms is resolved by extending the coalgebraic framework by lax cohomomorphisms . Enriching both labelled transition systems and coalgebras with algebraic structure for an algebraic specification, the correspondence is lost again. This motivates the introduction of lax coalgebras , where the coalgebra structure is given by a lax homomorphism . The resulting category of lax coalgebras and lax cohomomorphisms for a suitable endofunctor is shown to be isomorphic to the category of structured transition systems , where both states and transitions form algebras. The framework is also presented on a more abstract categorical level using monads and comonads, extending the bialgebraic approach introduced by Turi and Plotkin." @default.
• W2114930473 created "2016-06-24" @default.
• W2114930473 creator A5013058832 @default.
• W2114930473 creator A5062051157 @default.
• W2114930473 creator A5079512613 @default.
• W2114930473 date "2001-06-01" @default.
• W2114930473 modified "2023-09-30" @default.
• W2114930473 title "A Coalgebraic presentation of structured transition systems" @default.
• W2114930473 cites W112626393 @default.
• W2114930473 cites W1497991103 @default.
• W2114930473 cites W1499822017 @default.
• W2114930473 cites W1503973138 @default.
• W2114930473 cites W1509918383 @default.
• W2114930473 cites W1561011284 @default.
• W2114930473 cites W1605829531 @default.
• W2114930473 cites W1966112122 @default.
• W2114930473 cites W1972892796 @default.
• W2114930473 cites W1994350081 @default.
• W2114930473 cites W1999706742 @default.
• W2114930473 cites W2001587236 @default.
• W2114930473 cites W2002273357 @default.
• W2114930473 cites W2027622095 @default.
• W2114930473 cites W2039290601 @default.
• W2114930473 cites W2049083449 @default.
• W2114930473 cites W2070034419 @default.
• W2114930473 cites W2070157304 @default.
• W2114930473 cites W2070689338 @default.
• W2114930473 cites W2088189323 @default.
• W2114930473 cites W2101032471 @default.
• W2114930473 cites W2106530373 @default.
• W2114930473 cites W2108652205 @default.
• W2114930473 cites W2120713972 @default.
• W2114930473 cites W2121706949 @default.
• W2114930473 cites W2149574014 @default.
• W2114930473 cites W2155137194 @default.
• W2114930473 cites W2164625502 @default.
• W2114930473 cites W2173961470 @default.
• W2114930473 cites W2224622497 @default.
• W2114930473 cites W3043060850 @default.
• W2114930473 cites W3047749363 @default.
• W2114930473 cites W2721681963 @default.
• W2114930473 doi "https://doi.org/10.1016/s0304-3975(00)00121-3" @default.
• W2114930473 hasPublicationYear "2001" @default.
• W2114930473 type Work @default.
• W2114930473 sameAs 2114930473 @default.
• W2114930473 citedByCount "15" @default.
• W2114930473 countsByYear W21149304732013 @default.
• W2114930473 countsByYear W21149304732015 @default.
• W2114930473 countsByYear W21149304732016 @default.
• W2114930473 countsByYear W21149304732018 @default.
• W2114930473 crossrefType "journal-article" @default.
• W2114930473 hasAuthorship W2114930473A5013058832 @default.
• W2114930473 hasAuthorship W2114930473A5062051157 @default.
• W2114930473 hasAuthorship W2114930473A5079512613 @default.
• W2114930473 hasBestOaLocation W21149304731 @default.
• W2114930473 hasConcept C104317684 @default.
• W2114930473 hasConcept C126838900 @default.
• W2114930473 hasConcept C136119220 @default.
• W2114930473 hasConcept C138885662 @default.
• W2114930473 hasConcept C185592680 @default.
• W2114930473 hasConcept C194232998 @default.
• W2114930473 hasConcept C199343813 @default.
• W2114930473 hasConcept C199360897 @default.
• W2114930473 hasConcept C202444582 @default.
• W2114930473 hasConcept C2777601897 @default.
• W2114930473 hasConcept C2777686260 @default.
• W2114930473 hasConcept C2779167558 @default.
• W2114930473 hasConcept C33923547 @default.
• W2114930473 hasConcept C41008148 @default.
• W2114930473 hasConcept C41895202 @default.
• W2114930473 hasConcept C55493867 @default.
• W2114930473 hasConcept C71924100 @default.
• W2114930473 hasConceptScore W2114930473C104317684 @default.
• W2114930473 hasConceptScore W2114930473C126838900 @default.
• W2114930473 hasConceptScore W2114930473C136119220 @default.
• W2114930473 hasConceptScore W2114930473C138885662 @default.
• W2114930473 hasConceptScore W2114930473C185592680 @default.
• W2114930473 hasConceptScore W2114930473C194232998 @default.
• W2114930473 hasConceptScore W2114930473C199343813 @default.
• W2114930473 hasConceptScore W2114930473C199360897 @default.
• W2114930473 hasConceptScore W2114930473C202444582 @default.
• W2114930473 hasConceptScore W2114930473C2777601897 @default.
• W2114930473 hasConceptScore W2114930473C2777686260 @default.
• W2114930473 hasConceptScore W2114930473C2779167558 @default.
• W2114930473 hasConceptScore W2114930473C33923547 @default.
• W2114930473 hasConceptScore W2114930473C41008148 @default.
• W2114930473 hasConceptScore W2114930473C41895202 @default.
• W2114930473 hasConceptScore W2114930473C55493867 @default.
• W2114930473 hasConceptScore W2114930473C71924100 @default.
• W2114930473 hasIssue "1-2" @default.
• W2114930473 hasLocation W21149304731 @default.
• W2114930473 hasOpenAccess W2114930473 @default.
• W2114930473 hasPrimaryLocation W21149304731 @default.
• W2114930473 hasRelatedWork W1527862632 @default.
• W2114930473 hasRelatedWork W1867797766 @default.
• W2114930473 hasRelatedWork W2109507516 @default.
• W2114930473 hasRelatedWork W2112962394 @default.
• W2114930473 hasRelatedWork W2118300983 @default.

• next