Matches in SemOpenAlex for { <https://semopenalex.org/work/W2262668424> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2262668424 abstract "Several notions of bisimulation relations for probabilistic non-deterministic transition systems have been considered in the literature. We consider a novel testing-based behavioral equivalence called upper-expectation bisimilarity and develop its theory using standard results from linear algebra and functional analysis. We show that, for a wide class of systems, our new notion coincides with Segala's convex bisimilarity. We develop logical characterizations in terms of expressive probabilistic modal mu-calculi and a novel real-valued modal logic. We prove that upper-expectation bisimilarity is a congruence for the wide family of process algebras specified following the probabilistic GSOS rule format." @default.
- W2262668424 created "2016-06-24" @default.
- W2262668424 creator A5020478916 @default.
- W2262668424 date "2013-10-02" @default.
- W2262668424 modified "2023-09-26" @default.
- W2262668424 title "Upper-Expectation Bisimilarity and Real-valued Modal Logics" @default.
- W2262668424 cites W119381390 @default.
- W2262668424 cites W1498432697 @default.
- W2262668424 cites W1606993440 @default.
- W2262668424 cites W1966112122 @default.
- W2262668424 cites W205932529 @default.
- W2262668424 cites W2060155289 @default.
- W2262668424 cites W2078103992 @default.
- W2262668424 cites W2120901006 @default.
- W2262668424 cites W2570220284 @default.
- W2262668424 cites W1601373402 @default.
- W2262668424 doi "https://doi.org/10.48550/arxiv.1310.0768" @default.
- W2262668424 hasPublicationYear "2013" @default.
- W2262668424 type Work @default.
- W2262668424 sameAs 2262668424 @default.
- W2262668424 citedByCount "1" @default.
- W2262668424 countsByYear W22626684242014 @default.
- W2262668424 crossrefType "posted-content" @default.
- W2262668424 hasAuthorship W2262668424A5020478916 @default.
- W2262668424 hasBestOaLocation W22626684241 @default.
- W2262668424 hasConcept C105795698 @default.
- W2262668424 hasConcept C11191006 @default.
- W2262668424 hasConcept C114092440 @default.
- W2262668424 hasConcept C118615104 @default.
- W2262668424 hasConcept C132074034 @default.
- W2262668424 hasConcept C135315306 @default.
- W2262668424 hasConcept C136119220 @default.
- W2262668424 hasConcept C161771561 @default.
- W2262668424 hasConcept C185592680 @default.
- W2262668424 hasConcept C188027245 @default.
- W2262668424 hasConcept C192609573 @default.
- W2262668424 hasConcept C202444582 @default.
- W2262668424 hasConcept C2524010 @default.
- W2262668424 hasConcept C27508121 @default.
- W2262668424 hasConcept C2780069185 @default.
- W2262668424 hasConcept C33923547 @default.
- W2262668424 hasConcept C41008148 @default.
- W2262668424 hasConcept C49937458 @default.
- W2262668424 hasConcept C70846408 @default.
- W2262668424 hasConcept C71139939 @default.
- W2262668424 hasConcept C80444323 @default.
- W2262668424 hasConceptScore W2262668424C105795698 @default.
- W2262668424 hasConceptScore W2262668424C11191006 @default.
- W2262668424 hasConceptScore W2262668424C114092440 @default.
- W2262668424 hasConceptScore W2262668424C118615104 @default.
- W2262668424 hasConceptScore W2262668424C132074034 @default.
- W2262668424 hasConceptScore W2262668424C135315306 @default.
- W2262668424 hasConceptScore W2262668424C136119220 @default.
- W2262668424 hasConceptScore W2262668424C161771561 @default.
- W2262668424 hasConceptScore W2262668424C185592680 @default.
- W2262668424 hasConceptScore W2262668424C188027245 @default.
- W2262668424 hasConceptScore W2262668424C192609573 @default.
- W2262668424 hasConceptScore W2262668424C202444582 @default.
- W2262668424 hasConceptScore W2262668424C2524010 @default.
- W2262668424 hasConceptScore W2262668424C27508121 @default.
- W2262668424 hasConceptScore W2262668424C2780069185 @default.
- W2262668424 hasConceptScore W2262668424C33923547 @default.
- W2262668424 hasConceptScore W2262668424C41008148 @default.
- W2262668424 hasConceptScore W2262668424C49937458 @default.
- W2262668424 hasConceptScore W2262668424C70846408 @default.
- W2262668424 hasConceptScore W2262668424C71139939 @default.
- W2262668424 hasConceptScore W2262668424C80444323 @default.
- W2262668424 hasLocation W22626684241 @default.
- W2262668424 hasOpenAccess W2262668424 @default.
- W2262668424 hasPrimaryLocation W22626684241 @default.
- W2262668424 hasRelatedWork W1546415329 @default.
- W2262668424 hasRelatedWork W1978559879 @default.
- W2262668424 hasRelatedWork W1994980776 @default.
- W2262668424 hasRelatedWork W2121753274 @default.
- W2262668424 hasRelatedWork W2262668424 @default.
- W2262668424 hasRelatedWork W2570103566 @default.
- W2262668424 hasRelatedWork W2794771199 @default.
- W2262668424 hasRelatedWork W3021130237 @default.
- W2262668424 hasRelatedWork W3183927263 @default.
- W2262668424 hasRelatedWork W2138716118 @default.
- W2262668424 isParatext "false" @default.
- W2262668424 isRetracted "false" @default.
- W2262668424 magId "2262668424" @default.
- W2262668424 workType "article" @default.