Matches in SemOpenAlex for { <https://semopenalex.org/work/W2477040897> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2477040897 abstract "We generalize the work by Soboci'nski on relational presheaves and their connection with weak (bi)simulation for labelled transistion systems to a coalgebraic setting. We show that the coalgebraic notion of saturation studied in our previous work can be expressed in the language of lax functors in terms of existence of a certain adjunction between categories of lax functors. This observation allows us to generalize the notion of the coalgebraic weak bisimulation to lax functors. We instantiate this definition on two examples of timed systems and show that it coincides with their time-abstract behavioural equivalence." @default.
- W2477040897 created "2016-08-23" @default.
- W2477040897 creator A5033657962 @default.
- W2477040897 date "2014-04-21" @default.
- W2477040897 modified "2023-09-27" @default.
- W2477040897 title "Lax functors and coalgebraic weak bisimulation" @default.
- W2477040897 cites W143370938 @default.
- W2477040897 cites W1497366684 @default.
- W2477040897 cites W1503973138 @default.
- W2477040897 cites W1507692549 @default.
- W2477040897 cites W158035142 @default.
- W2477040897 cites W1704074244 @default.
- W2477040897 cites W1793726001 @default.
- W2477040897 cites W1909063750 @default.
- W2477040897 cites W1964907332 @default.
- W2477040897 cites W1965620900 @default.
- W2477040897 cites W1969735348 @default.
- W2477040897 cites W1970904244 @default.
- W2477040897 cites W1971383138 @default.
- W2477040897 cites W2003250112 @default.
- W2477040897 cites W2021791570 @default.
- W2477040897 cites W2058564026 @default.
- W2477040897 cites W2088189323 @default.
- W2477040897 cites W2120756102 @default.
- W2477040897 cites W2124315269 @default.
- W2477040897 cites W2129008598 @default.
- W2477040897 cites W2137865376 @default.
- W2477040897 cites W2138785176 @default.
- W2477040897 cites W2141576692 @default.
- W2477040897 cites W2283006001 @default.
- W2477040897 cites W2579655033 @default.
- W2477040897 cites W2580179859 @default.
- W2477040897 cites W2951003594 @default.
- W2477040897 cites W2951526181 @default.
- W2477040897 cites W369805404 @default.
- W2477040897 hasPublicationYear "2014" @default.
- W2477040897 type Work @default.
- W2477040897 sameAs 2477040897 @default.
- W2477040897 citedByCount "1" @default.
- W2477040897 countsByYear W24770408972017 @default.
- W2477040897 crossrefType "posted-content" @default.
- W2477040897 hasAuthorship W2477040897A5033657962 @default.
- W2477040897 hasConcept C118615104 @default.
- W2477040897 hasConcept C135315306 @default.
- W2477040897 hasConcept C136119220 @default.
- W2477040897 hasConcept C156772000 @default.
- W2477040897 hasConcept C202444582 @default.
- W2477040897 hasConcept C2780069185 @default.
- W2477040897 hasConcept C2780580338 @default.
- W2477040897 hasConcept C33923547 @default.
- W2477040897 hasConceptScore W2477040897C118615104 @default.
- W2477040897 hasConceptScore W2477040897C135315306 @default.
- W2477040897 hasConceptScore W2477040897C136119220 @default.
- W2477040897 hasConceptScore W2477040897C156772000 @default.
- W2477040897 hasConceptScore W2477040897C202444582 @default.
- W2477040897 hasConceptScore W2477040897C2780069185 @default.
- W2477040897 hasConceptScore W2477040897C2780580338 @default.
- W2477040897 hasConceptScore W2477040897C33923547 @default.
- W2477040897 hasLocation W24770408971 @default.
- W2477040897 hasOpenAccess W2477040897 @default.
- W2477040897 hasPrimaryLocation W24770408971 @default.
- W2477040897 hasRelatedWork W1588144091 @default.
- W2477040897 hasRelatedWork W1657975519 @default.
- W2477040897 hasRelatedWork W1978165332 @default.
- W2477040897 hasRelatedWork W2011044821 @default.
- W2477040897 hasRelatedWork W2049083449 @default.
- W2477040897 hasRelatedWork W2093476965 @default.
- W2477040897 hasRelatedWork W2114930473 @default.
- W2477040897 hasRelatedWork W2157474957 @default.
- W2477040897 hasRelatedWork W2166510793 @default.
- W2477040897 hasRelatedWork W2403647982 @default.
- W2477040897 hasRelatedWork W2529324903 @default.
- W2477040897 hasRelatedWork W2613196302 @default.
- W2477040897 hasRelatedWork W26488867 @default.
- W2477040897 hasRelatedWork W2788381007 @default.
- W2477040897 hasRelatedWork W2951561166 @default.
- W2477040897 hasRelatedWork W2951594495 @default.
- W2477040897 hasRelatedWork W2968188570 @default.
- W2477040897 hasRelatedWork W3005255079 @default.
- W2477040897 hasRelatedWork W3037938196 @default.
- W2477040897 hasRelatedWork W2181323358 @default.
- W2477040897 isParatext "false" @default.
- W2477040897 isRetracted "false" @default.
- W2477040897 magId "2477040897" @default.
- W2477040897 workType "article" @default.