Matches in SemOpenAlex for { <https://semopenalex.org/work/W4317465106> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4317465106 abstract "In the open map approach to bisimilarity, the paths and their runs in a given state-based system are the first-class citizens, and bisimilarity becomes a derived notion. While open maps were successfully used to model bisimilarity in non-deterministic systems, the approach fails to describe quantitative system equivalences such as probabilistic bisimilarity. In the present work, we see that this is indeed impossible and we thus generalize the notion of open maps to also accommodate weighted and probabilistic bisimilarity. Also, extending the notions of strong path and path bisimulations into this new framework, we show that branching bisimilarity can be captured by this extended theory and that it can be viewed as the history preserving restriction of weak bisimilarity." @default.
- W4317465106 created "2023-01-20" @default.
- W4317465106 creator A5020567371 @default.
- W4317465106 creator A5059938244 @default.
- W4317465106 date "2023-01-17" @default.
- W4317465106 modified "2023-10-14" @default.
- W4317465106 title "Weighted and Branching Bisimilarities from Generalized Open Maps" @default.
- W4317465106 doi "https://doi.org/10.48550/arxiv.2301.07004" @default.
- W4317465106 hasPublicationYear "2023" @default.
- W4317465106 type Work @default.
- W4317465106 citedByCount "0" @default.
- W4317465106 crossrefType "posted-content" @default.
- W4317465106 hasAuthorship W4317465106A5020567371 @default.
- W4317465106 hasAuthorship W4317465106A5059938244 @default.
- W4317465106 hasBestOaLocation W43174651061 @default.
- W4317465106 hasConcept C11413529 @default.
- W4317465106 hasConcept C154945302 @default.
- W4317465106 hasConcept C159985019 @default.
- W4317465106 hasConcept C192562407 @default.
- W4317465106 hasConcept C199360897 @default.
- W4317465106 hasConcept C206175624 @default.
- W4317465106 hasConcept C2777212361 @default.
- W4317465106 hasConcept C2777735758 @default.
- W4317465106 hasConcept C33923547 @default.
- W4317465106 hasConcept C41008148 @default.
- W4317465106 hasConcept C48103436 @default.
- W4317465106 hasConcept C49937458 @default.
- W4317465106 hasConceptScore W4317465106C11413529 @default.
- W4317465106 hasConceptScore W4317465106C154945302 @default.
- W4317465106 hasConceptScore W4317465106C159985019 @default.
- W4317465106 hasConceptScore W4317465106C192562407 @default.
- W4317465106 hasConceptScore W4317465106C199360897 @default.
- W4317465106 hasConceptScore W4317465106C206175624 @default.
- W4317465106 hasConceptScore W4317465106C2777212361 @default.
- W4317465106 hasConceptScore W4317465106C2777735758 @default.
- W4317465106 hasConceptScore W4317465106C33923547 @default.
- W4317465106 hasConceptScore W4317465106C41008148 @default.
- W4317465106 hasConceptScore W4317465106C48103436 @default.
- W4317465106 hasConceptScore W4317465106C49937458 @default.
- W4317465106 hasLocation W43174651061 @default.
- W4317465106 hasOpenAccess W4317465106 @default.
- W4317465106 hasPrimaryLocation W43174651061 @default.
- W4317465106 hasRelatedWork W1560139384 @default.
- W4317465106 hasRelatedWork W1575659177 @default.
- W4317465106 hasRelatedWork W2030105136 @default.
- W4317465106 hasRelatedWork W2048180677 @default.
- W4317465106 hasRelatedWork W2357111437 @default.
- W4317465106 hasRelatedWork W2371125232 @default.
- W4317465106 hasRelatedWork W3016660911 @default.
- W4317465106 hasRelatedWork W4220985904 @default.
- W4317465106 hasRelatedWork W4290792893 @default.
- W4317465106 hasRelatedWork W2222154592 @default.
- W4317465106 isParatext "false" @default.
- W4317465106 isRetracted "false" @default.
- W4317465106 workType "article" @default.