Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022753491> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W3022753491 endingPage "20" @default.
- W3022753491 startingPage "1" @default.
- W3022753491 abstract "There exist two notions of equivalence of behavior between states of a Labelled Markov Process (LMP): state bisimilarity and event bisimilarity. The first one can be considered as an appropriate generalization to continuous spaces of Larsen and Skou’s probabilistic bisimilarity, whereas the second one is characterized by a natural logic. C. Zhou expressed state bisimilarity as the greatest fixed point of an operator , and thus introduced an ordinal measure of the discrepancy between it and event bisimilarity. We call this ordinal the Zhou ordinal of , . When , satisfies the Hennessy–Milner property. The second author proved the existence of an LMP with and Zhou showed that there are LMPs having an infinite Zhou ordinal. In this paper we show that there are LMPs over separable metrizable spaces having arbitrary large countable and that it is consistent with the axioms of that there is such a process with an uncountable Zhou ordinal." @default.
- W3022753491 created "2020-05-13" @default.
- W3022753491 creator A5028489453 @default.
- W3022753491 creator A5063024175 @default.
- W3022753491 date "2023-02-27" @default.
- W3022753491 modified "2023-10-01" @default.
- W3022753491 title "The Zhou Ordinal of Labelled Markov Processes over Separable Spaces" @default.
- W3022753491 cites W2061760083 @default.
- W3022753491 cites W2064839890 @default.
- W3022753491 cites W2103906485 @default.
- W3022753491 doi "https://doi.org/10.1017/s1755020322000375" @default.
- W3022753491 hasPublicationYear "2023" @default.
- W3022753491 type Work @default.
- W3022753491 sameAs 3022753491 @default.
- W3022753491 citedByCount "0" @default.
- W3022753491 crossrefType "journal-article" @default.
- W3022753491 hasAuthorship W3022753491A5028489453 @default.
- W3022753491 hasAuthorship W3022753491A5063024175 @default.
- W3022753491 hasBestOaLocation W30227534912 @default.
- W3022753491 hasConcept C110729354 @default.
- W3022753491 hasConcept C118615104 @default.
- W3022753491 hasConcept C121332964 @default.
- W3022753491 hasConcept C134306372 @default.
- W3022753491 hasConcept C142399903 @default.
- W3022753491 hasConcept C167729594 @default.
- W3022753491 hasConcept C177148314 @default.
- W3022753491 hasConcept C2524010 @default.
- W3022753491 hasConcept C2779662365 @default.
- W3022753491 hasConcept C2780069185 @default.
- W3022753491 hasConcept C33923547 @default.
- W3022753491 hasConcept C62520636 @default.
- W3022753491 hasConcept C70710897 @default.
- W3022753491 hasConceptScore W3022753491C110729354 @default.
- W3022753491 hasConceptScore W3022753491C118615104 @default.
- W3022753491 hasConceptScore W3022753491C121332964 @default.
- W3022753491 hasConceptScore W3022753491C134306372 @default.
- W3022753491 hasConceptScore W3022753491C142399903 @default.
- W3022753491 hasConceptScore W3022753491C167729594 @default.
- W3022753491 hasConceptScore W3022753491C177148314 @default.
- W3022753491 hasConceptScore W3022753491C2524010 @default.
- W3022753491 hasConceptScore W3022753491C2779662365 @default.
- W3022753491 hasConceptScore W3022753491C2780069185 @default.
- W3022753491 hasConceptScore W3022753491C33923547 @default.
- W3022753491 hasConceptScore W3022753491C62520636 @default.
- W3022753491 hasConceptScore W3022753491C70710897 @default.
- W3022753491 hasLocation W30227534911 @default.
- W3022753491 hasLocation W30227534912 @default.
- W3022753491 hasOpenAccess W3022753491 @default.
- W3022753491 hasPrimaryLocation W30227534911 @default.
- W3022753491 hasRelatedWork W137892127 @default.
- W3022753491 hasRelatedWork W1985684185 @default.
- W3022753491 hasRelatedWork W2077353222 @default.
- W3022753491 hasRelatedWork W2165594556 @default.
- W3022753491 hasRelatedWork W2512721618 @default.
- W3022753491 hasRelatedWork W2724544548 @default.
- W3022753491 hasRelatedWork W2964271565 @default.
- W3022753491 hasRelatedWork W3120843326 @default.
- W3022753491 hasRelatedWork W3123061138 @default.
- W3022753491 hasRelatedWork W4297571715 @default.
- W3022753491 isParatext "false" @default.
- W3022753491 isRetracted "false" @default.
- W3022753491 magId "3022753491" @default.
- W3022753491 workType "article" @default.