Matches in SemOpenAlex for { <https://semopenalex.org/work/W2227942574> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2227942574 endingPage "78" @default.
- W2227942574 startingPage "63" @default.
- W2227942574 abstract "FuTS, state-to-function transition systems are generalizations of labeled transition systems and of familiar notions of quantitative semantical models as continuous-time Markov chains, interactive Markov chains, and Markov automata. A general scheme for the definition of a notion of strong bisimulation associated with a FuTS is proposed. It is shown that this notion of bisimulation for a FuTS coincides with the coalgebraic notion of behavioral equivalence associated to the functor on Set given by the type of the FuTS. For a series of concrete quantitative semantical models the notion of bisimulation as reported in the literature is proven to coincide with the notion of quantitative bisimulation obtained from the scheme. The comparison includes models with orthogonal behaviour, like interactive Markov chains, and with multiple levels of behavior, like Markov automata. As a consequence of the general result relating FuTS bisimulation and behavioral equivalence we obtain, in a systematic way, a coalgebraic underpinning of all quantitative bisimulations discussed." @default.
- W2227942574 created "2016-06-24" @default.
- W2227942574 creator A5018760156 @default.
- W2227942574 creator A5049253314 @default.
- W2227942574 creator A5049483818 @default.
- W2227942574 date "2015-09-28" @default.
- W2227942574 modified "2023-09-29" @default.
- W2227942574 title "A Definition Scheme for Quantitative Bisimulation" @default.
- W2227942574 cites W1482758428 @default.
- W2227942574 cites W1507380329 @default.
- W2227942574 cites W1535812899 @default.
- W2227942574 cites W1597655219 @default.
- W2227942574 cites W195403207 @default.
- W2227942574 cites W1971383138 @default.
- W2227942574 cites W1976268573 @default.
- W2227942574 cites W1981607181 @default.
- W2227942574 cites W1995469594 @default.
- W2227942574 cites W1995897494 @default.
- W2227942574 cites W2020876738 @default.
- W2227942574 cites W2040598439 @default.
- W2227942574 cites W2088189323 @default.
- W2227942574 cites W2099811898 @default.
- W2227942574 cites W2111987809 @default.
- W2227942574 cites W2132405487 @default.
- W2227942574 cites W2141823988 @default.
- W2227942574 cites W2146187895 @default.
- W2227942574 cites W2153593057 @default.
- W2227942574 cites W2178359813 @default.
- W2227942574 cites W2949155565 @default.
- W2227942574 cites W3150554008 @default.
- W2227942574 cites W4206542816 @default.
- W2227942574 cites W4301524229 @default.
- W2227942574 doi "https://doi.org/10.4204/eptcs.194.5" @default.
- W2227942574 hasPublicationYear "2015" @default.
- W2227942574 type Work @default.
- W2227942574 sameAs 2227942574 @default.
- W2227942574 citedByCount "1" @default.
- W2227942574 countsByYear W22279425742020 @default.
- W2227942574 crossrefType "journal-article" @default.
- W2227942574 hasAuthorship W2227942574A5018760156 @default.
- W2227942574 hasAuthorship W2227942574A5049253314 @default.
- W2227942574 hasAuthorship W2227942574A5049483818 @default.
- W2227942574 hasBestOaLocation W22279425741 @default.
- W2227942574 hasConcept C105795698 @default.
- W2227942574 hasConcept C112505250 @default.
- W2227942574 hasConcept C11413529 @default.
- W2227942574 hasConcept C118615104 @default.
- W2227942574 hasConcept C134306372 @default.
- W2227942574 hasConcept C135315306 @default.
- W2227942574 hasConcept C159886148 @default.
- W2227942574 hasConcept C202444582 @default.
- W2227942574 hasConcept C2779167558 @default.
- W2227942574 hasConcept C2780069185 @default.
- W2227942574 hasConcept C33923547 @default.
- W2227942574 hasConcept C41008148 @default.
- W2227942574 hasConcept C77618280 @default.
- W2227942574 hasConcept C80444323 @default.
- W2227942574 hasConcept C98763669 @default.
- W2227942574 hasConceptScore W2227942574C105795698 @default.
- W2227942574 hasConceptScore W2227942574C112505250 @default.
- W2227942574 hasConceptScore W2227942574C11413529 @default.
- W2227942574 hasConceptScore W2227942574C118615104 @default.
- W2227942574 hasConceptScore W2227942574C134306372 @default.
- W2227942574 hasConceptScore W2227942574C135315306 @default.
- W2227942574 hasConceptScore W2227942574C159886148 @default.
- W2227942574 hasConceptScore W2227942574C202444582 @default.
- W2227942574 hasConceptScore W2227942574C2779167558 @default.
- W2227942574 hasConceptScore W2227942574C2780069185 @default.
- W2227942574 hasConceptScore W2227942574C33923547 @default.
- W2227942574 hasConceptScore W2227942574C41008148 @default.
- W2227942574 hasConceptScore W2227942574C77618280 @default.
- W2227942574 hasConceptScore W2227942574C80444323 @default.
- W2227942574 hasConceptScore W2227942574C98763669 @default.
- W2227942574 hasLocation W22279425741 @default.
- W2227942574 hasLocation W22279425742 @default.
- W2227942574 hasLocation W22279425743 @default.
- W2227942574 hasOpenAccess W2227942574 @default.
- W2227942574 hasPrimaryLocation W22279425741 @default.
- W2227942574 hasRelatedWork W1501000822 @default.
- W2227942574 hasRelatedWork W1577437452 @default.
- W2227942574 hasRelatedWork W2040368499 @default.
- W2227942574 hasRelatedWork W2063608931 @default.
- W2227942574 hasRelatedWork W2135048208 @default.
- W2227942574 hasRelatedWork W2162510824 @default.
- W2227942574 hasRelatedWork W2888328996 @default.
- W2227942574 hasRelatedWork W3138334597 @default.
- W2227942574 hasRelatedWork W4205777715 @default.
- W2227942574 hasRelatedWork W4312254064 @default.
- W2227942574 hasVolume "194" @default.
- W2227942574 isParatext "false" @default.
- W2227942574 isRetracted "false" @default.
- W2227942574 magId "2227942574" @default.
- W2227942574 workType "article" @default.