FRINK Linked Data Fragments server

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

• W1966145112 endingPage "41" @default.
• W1966145112 startingPage "22" @default.
• W1966145112 abstract "This paper relates labeled 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 for what concerns the morphisms is resolved by extending the coalgebraic framework by lax cohomomorphisms. Enriching both labeled transition systems and coalgebras with algebraic structure for an algebraic specification, the correspondence is lost again. This leads to 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 recently introduced by Turi and Plotkin." @default.
• W1966145112 created "2016-06-24" @default.
• W1966145112 creator A5016498089 @default.
• W1966145112 creator A5062051157 @default.
• W1966145112 creator A5079512613 @default.
• W1966145112 date "1998-01-01" @default.
• W1966145112 modified "2023-09-25" @default.
• W1966145112 title "Structured Transition Systems as Lax Coalgebras1 1Research partly supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems)" @default.
• W1966145112 cites W1487429213 @default.
• W1966145112 cites W1497991103 @default.
• W1966145112 cites W1499822017 @default.
• W1966145112 cites W1605829531 @default.
• W1966145112 cites W1872588449 @default.
• W1966145112 cites W1972892796 @default.
• W1966145112 cites W1994350081 @default.
• W1966145112 cites W2001587236 @default.
• W1966145112 cites W2002273357 @default.
• W1966145112 cites W2027622095 @default.
• W1966145112 cites W2101032471 @default.
• W1966145112 cites W2108652205 @default.
• W1966145112 cites W2120713972 @default.
• W1966145112 cites W2137865376 @default.
• W1966145112 cites W4249538237 @default.
• W1966145112 doi "https://doi.org/10.1016/s1571-0661(04)00051-9" @default.
• W1966145112 hasPublicationYear "1998" @default.
• W1966145112 type Work @default.
• W1966145112 sameAs 1966145112 @default.
• W1966145112 citedByCount "19" @default.
• W1966145112 crossrefType "journal-article" @default.
• W1966145112 hasAuthorship W1966145112A5016498089 @default.
• W1966145112 hasAuthorship W1966145112A5062051157 @default.
• W1966145112 hasAuthorship W1966145112A5079512613 @default.
• W1966145112 hasBestOaLocation W19661451121 @default.
• W1966145112 hasConcept C104317684 @default.
• W1966145112 hasConcept C105795698 @default.
• W1966145112 hasConcept C118615104 @default.
• W1966145112 hasConcept C132170107 @default.
• W1966145112 hasConcept C132525143 @default.
• W1966145112 hasConcept C134306372 @default.
• W1966145112 hasConcept C136119220 @default.
• W1966145112 hasConcept C137212723 @default.
• W1966145112 hasConcept C156772000 @default.
• W1966145112 hasConcept C182419690 @default.
• W1966145112 hasConcept C185592680 @default.
• W1966145112 hasConcept C202444582 @default.
• W1966145112 hasConcept C204241405 @default.
• W1966145112 hasConcept C207405024 @default.
• W1966145112 hasConcept C2778249326 @default.
• W1966145112 hasConcept C2778676360 @default.
• W1966145112 hasConcept C29712632 @default.
• W1966145112 hasConcept C33923547 @default.
• W1966145112 hasConcept C4042151 @default.
• W1966145112 hasConcept C5274069 @default.
• W1966145112 hasConcept C54884031 @default.
• W1966145112 hasConcept C55493867 @default.
• W1966145112 hasConcept C558772884 @default.
• W1966145112 hasConcept C9376300 @default.
• W1966145112 hasConceptScore W1966145112C104317684 @default.
• W1966145112 hasConceptScore W1966145112C105795698 @default.
• W1966145112 hasConceptScore W1966145112C118615104 @default.
• W1966145112 hasConceptScore W1966145112C132170107 @default.
• W1966145112 hasConceptScore W1966145112C132525143 @default.
• W1966145112 hasConceptScore W1966145112C134306372 @default.
• W1966145112 hasConceptScore W1966145112C136119220 @default.
• W1966145112 hasConceptScore W1966145112C137212723 @default.
• W1966145112 hasConceptScore W1966145112C156772000 @default.
• W1966145112 hasConceptScore W1966145112C182419690 @default.
• W1966145112 hasConceptScore W1966145112C185592680 @default.
• W1966145112 hasConceptScore W1966145112C202444582 @default.
• W1966145112 hasConceptScore W1966145112C204241405 @default.
• W1966145112 hasConceptScore W1966145112C207405024 @default.
• W1966145112 hasConceptScore W1966145112C2778249326 @default.
• W1966145112 hasConceptScore W1966145112C2778676360 @default.
• W1966145112 hasConceptScore W1966145112C29712632 @default.
• W1966145112 hasConceptScore W1966145112C33923547 @default.
• W1966145112 hasConceptScore W1966145112C4042151 @default.
• W1966145112 hasConceptScore W1966145112C5274069 @default.
• W1966145112 hasConceptScore W1966145112C54884031 @default.
• W1966145112 hasConceptScore W1966145112C55493867 @default.
• W1966145112 hasConceptScore W1966145112C558772884 @default.
• W1966145112 hasConceptScore W1966145112C9376300 @default.
• W1966145112 hasLocation W19661451121 @default.
• W1966145112 hasOpenAccess W1966145112 @default.
• W1966145112 hasPrimaryLocation W19661451121 @default.
• W1966145112 hasRelatedWork W1549064025 @default.
• W1966145112 hasRelatedWork W192120928 @default.
• W1966145112 hasRelatedWork W1966145112 @default.
• W1966145112 hasRelatedWork W2108528679 @default.
• W1966145112 hasRelatedWork W2126981849 @default.
• W1966145112 hasRelatedWork W2152368840 @default.
• W1966145112 hasRelatedWork W2952382513 @default.
• W1966145112 hasRelatedWork W3080632739 @default.
• W1966145112 hasRelatedWork W3093535394 @default.
• W1966145112 hasRelatedWork W4322716301 @default.
• W1966145112 hasVolume "11" @default.
• W1966145112 isParatext "false" @default.
• W1966145112 isRetracted "false" @default.
• W1966145112 magId "1966145112" @default.

• next