FRINK Linked Data Fragments server

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

• W2020147234 endingPage "228" @default.
• W2020147234 startingPage "211" @default.
• W2020147234 abstract "We propose a coalgebraic definition of weak bisimulation for a class of coalgebras obtained from bifunctors over the category Set. Weak bisimilarity for a system is obtained as strong bisimilarity of a transformed system. The transformation consists of two steps: First, the behaviour on actions is expanded to behaviour on finite words. Second, the behaviour on finite words is taken modulo the hiding of invisible actions, yielding behaviour on equivalence classes of words closed under silent steps. The coalgebraic definition is justified by two correspondence results, one for the classical notion of weak bisimulation of Milner and another for the notion of weak bisimulation for generative probabilistic transition systems as advocated by Baier and Hermanns." @default.
• W2020147234 created "2016-06-24" @default.
• W2020147234 creator A5018760156 @default.
• W2020147234 creator A5049995090 @default.
• W2020147234 creator A5074223895 @default.
• W2020147234 date "2005-03-01" @default.
• W2020147234 modified "2023-09-25" @default.
• W2020147234 title "Weak Bisimulation for Action-Type Coalgebras" @default.
• W2020147234 cites W1503973138 @default.
• W2020147234 cites W1543688617 @default.
• W2020147234 cites W1579183220 @default.
• W2020147234 cites W1582665553 @default.
• W2020147234 cites W1704074244 @default.
• W2020147234 cites W1793726001 @default.
• W2020147234 cites W1810681804 @default.
• W2020147234 cites W1850900101 @default.
• W2020147234 cites W1972910911 @default.
• W2020147234 cites W1976268573 @default.
• W2020147234 cites W1981607181 @default.
• W2020147234 cites W1999283662 @default.
• W2020147234 cites W2040748140 @default.
• W2020147234 cites W2062493106 @default.
• W2020147234 cites W2076640573 @default.
• W2020147234 cites W2088189323 @default.
• W2020147234 cites W2107471150 @default.
• W2020147234 cites W2118229393 @default.
• W2020147234 cites W2123876422 @default.
• W2020147234 cites W2126214140 @default.
• W2020147234 cites W2126979663 @default.
• W2020147234 cites W2130394356 @default.
• W2020147234 cites W2135657750 @default.
• W2020147234 cites W2137865376 @default.
• W2020147234 cites W2804720275 @default.
• W2020147234 cites W2583674010 @default.
• W2020147234 doi "https://doi.org/10.1016/j.entcs.2004.06.050" @default.
• W2020147234 hasPublicationYear "2005" @default.
• W2020147234 type Work @default.
• W2020147234 sameAs 2020147234 @default.
• W2020147234 citedByCount "8" @default.
• W2020147234 countsByYear W20201472342012 @default.
• W2020147234 countsByYear W20201472342013 @default.
• W2020147234 crossrefType "journal-article" @default.
• W2020147234 hasAuthorship W2020147234A5018760156 @default.
• W2020147234 hasAuthorship W2020147234A5049995090 @default.
• W2020147234 hasAuthorship W2020147234A5074223895 @default.
• W2020147234 hasBestOaLocation W20201472341 @default.
• W2020147234 hasConcept C104317684 @default.
• W2020147234 hasConcept C118615104 @default.
• W2020147234 hasConcept C121332964 @default.
• W2020147234 hasConcept C135315306 @default.
• W2020147234 hasConcept C136119220 @default.
• W2020147234 hasConcept C154945302 @default.
• W2020147234 hasConcept C177264268 @default.
• W2020147234 hasConcept C185592680 @default.
• W2020147234 hasConcept C18903297 @default.
• W2020147234 hasConcept C199360897 @default.
• W2020147234 hasConcept C202444582 @default.
• W2020147234 hasConcept C204241405 @default.
• W2020147234 hasConcept C2777212361 @default.
• W2020147234 hasConcept C2777299769 @default.
• W2020147234 hasConcept C2780069185 @default.
• W2020147234 hasConcept C2780791683 @default.
• W2020147234 hasConcept C33923547 @default.
• W2020147234 hasConcept C41008148 @default.
• W2020147234 hasConcept C54732982 @default.
• W2020147234 hasConcept C55493867 @default.
• W2020147234 hasConcept C62520636 @default.
• W2020147234 hasConcept C86803240 @default.
• W2020147234 hasConceptScore W2020147234C104317684 @default.
• W2020147234 hasConceptScore W2020147234C118615104 @default.
• W2020147234 hasConceptScore W2020147234C121332964 @default.
• W2020147234 hasConceptScore W2020147234C135315306 @default.
• W2020147234 hasConceptScore W2020147234C136119220 @default.
• W2020147234 hasConceptScore W2020147234C154945302 @default.
• W2020147234 hasConceptScore W2020147234C177264268 @default.
• W2020147234 hasConceptScore W2020147234C185592680 @default.
• W2020147234 hasConceptScore W2020147234C18903297 @default.
• W2020147234 hasConceptScore W2020147234C199360897 @default.
• W2020147234 hasConceptScore W2020147234C202444582 @default.
• W2020147234 hasConceptScore W2020147234C204241405 @default.
• W2020147234 hasConceptScore W2020147234C2777212361 @default.
• W2020147234 hasConceptScore W2020147234C2777299769 @default.
• W2020147234 hasConceptScore W2020147234C2780069185 @default.
• W2020147234 hasConceptScore W2020147234C2780791683 @default.
• W2020147234 hasConceptScore W2020147234C33923547 @default.
• W2020147234 hasConceptScore W2020147234C41008148 @default.
• W2020147234 hasConceptScore W2020147234C54732982 @default.
• W2020147234 hasConceptScore W2020147234C55493867 @default.
• W2020147234 hasConceptScore W2020147234C62520636 @default.
• W2020147234 hasConceptScore W2020147234C86803240 @default.
• W2020147234 hasLocation W20201472341 @default.
• W2020147234 hasLocation W20201472342 @default.
• W2020147234 hasLocation W20201472343 @default.
• W2020147234 hasOpenAccess W2020147234 @default.
• W2020147234 hasPrimaryLocation W20201472341 @default.
• W2020147234 hasRelatedWork W1560139384 @default.
• W2020147234 hasRelatedWork W1578992643 @default.
• W2020147234 hasRelatedWork W2019004897 @default.

• next