FRINK Linked Data Fragments server

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

• W2087666725 endingPage "871" @default.
• W2087666725 startingPage "850" @default.
• W2087666725 abstract "This paper establishes a Stone-type duality between specifications and infLMPs. An infLMP is a probabilistic process whose transitions satisfy super-additivity instead of additivity. Interestingly, its simple structure can encode a mix of probabilistic and non-deterministic behavior, which, as we show, is strongly related to another well-known such model: probabilistic automata. Our duality puts in relation the category of infLMPs and a category of abstract representations of them based on properties only. We exhibit a Galois connection between these categories and show that we have an adjunct pair of functors when restricted to LMPs only. Our duality also shows that an infLMP can be considered as a demonic representative of a system’s information. Moreover, it carries forward a view where states are less important, and events, or properties, become the main characters, as it should be in probability theory. Along the way, we show that bisimulation and simulation are naturally interpreted in this setting, and we exhibit the interesting relationship between infLMPs and the usual probabilistic modal logics. This paper is an extended version of a Concur ’09 paper [13]; in particular, the comparison of infLMPs with probabilistic automata and the Galois connection are new." @default.
• W2087666725 created "2016-06-24" @default.
• W2087666725 creator A5000109637 @default.
• W2087666725 creator A5053313793 @default.
• W2087666725 creator A5054812796 @default.
• W2087666725 date "2011-05-01" @default.
• W2087666725 modified "2023-10-03" @default.
• W2087666725 title "A logical duality for underspecified probabilistic systems" @default.
• W2087666725 cites W1492158240 @default.
• W2087666725 cites W1497573972 @default.
• W2087666725 cites W1498847683 @default.
• W2087666725 cites W1505927408 @default.
• W2087666725 cites W1540519426 @default.
• W2087666725 cites W1606156286 @default.
• W2087666725 cites W1674596735 @default.
• W2087666725 cites W1768623212 @default.
• W2087666725 cites W1793726001 @default.
• W2087666725 cites W1907364945 @default.
• W2087666725 cites W1949868634 @default.
• W2087666725 cites W1976268573 @default.
• W2087666725 cites W2000108089 @default.
• W2087666725 cites W2013672985 @default.
• W2087666725 cites W2027047704 @default.
• W2087666725 cites W2033810643 @default.
• W2087666725 cites W2052866772 @default.
• W2087666725 cites W2056099894 @default.
• W2087666725 cites W2062631641 @default.
• W2087666725 cites W2067887078 @default.
• W2087666725 cites W2078103992 @default.
• W2087666725 cites W2100893927 @default.
• W2087666725 cites W2121225040 @default.
• W2087666725 cites W2123876422 @default.
• W2087666725 cites W2128932399 @default.
• W2087666725 cites W2140646474 @default.
• W2087666725 cites W2141541459 @default.
• W2087666725 cites W2741645723 @default.
• W2087666725 doi "https://doi.org/10.1016/j.ic.2010.12.005" @default.
• W2087666725 hasPublicationYear "2011" @default.
• W2087666725 type Work @default.
• W2087666725 sameAs 2087666725 @default.
• W2087666725 citedByCount "3" @default.
• W2087666725 countsByYear W20876667252014 @default.
• W2087666725 countsByYear W20876667252015 @default.
• W2087666725 countsByYear W20876667252023 @default.
• W2087666725 crossrefType "journal-article" @default.
• W2087666725 hasAuthorship W2087666725A5000109637 @default.
• W2087666725 hasAuthorship W2087666725A5053313793 @default.
• W2087666725 hasAuthorship W2087666725A5054812796 @default.
• W2087666725 hasConcept C105795698 @default.
• W2087666725 hasConcept C111472728 @default.
• W2087666725 hasConcept C112505250 @default.
• W2087666725 hasConcept C118615104 @default.
• W2087666725 hasConcept C13355873 @default.
• W2087666725 hasConcept C138885662 @default.
• W2087666725 hasConcept C156772000 @default.
• W2087666725 hasConcept C174784677 @default.
• W2087666725 hasConcept C2524010 @default.
• W2087666725 hasConcept C2777573902 @default.
• W2087666725 hasConcept C2778023678 @default.
• W2087666725 hasConcept C2780586882 @default.
• W2087666725 hasConcept C33923547 @default.
• W2087666725 hasConcept C41008148 @default.
• W2087666725 hasConcept C49937458 @default.
• W2087666725 hasConcept C80444323 @default.
• W2087666725 hasConceptScore W2087666725C105795698 @default.
• W2087666725 hasConceptScore W2087666725C111472728 @default.
• W2087666725 hasConceptScore W2087666725C112505250 @default.
• W2087666725 hasConceptScore W2087666725C118615104 @default.
• W2087666725 hasConceptScore W2087666725C13355873 @default.
• W2087666725 hasConceptScore W2087666725C138885662 @default.
• W2087666725 hasConceptScore W2087666725C156772000 @default.
• W2087666725 hasConceptScore W2087666725C174784677 @default.
• W2087666725 hasConceptScore W2087666725C2524010 @default.
• W2087666725 hasConceptScore W2087666725C2777573902 @default.
• W2087666725 hasConceptScore W2087666725C2778023678 @default.
• W2087666725 hasConceptScore W2087666725C2780586882 @default.
• W2087666725 hasConceptScore W2087666725C33923547 @default.
• W2087666725 hasConceptScore W2087666725C41008148 @default.
• W2087666725 hasConceptScore W2087666725C49937458 @default.
• W2087666725 hasConceptScore W2087666725C80444323 @default.
• W2087666725 hasIssue "5" @default.
• W2087666725 hasLocation W20876667251 @default.
• W2087666725 hasOpenAccess W2087666725 @default.
• W2087666725 hasPrimaryLocation W20876667251 @default.
• W2087666725 hasRelatedWork W1573261754 @default.
• W2087666725 hasRelatedWork W1974090207 @default.
• W2087666725 hasRelatedWork W2087666725 @default.
• W2087666725 hasRelatedWork W2142578041 @default.
• W2087666725 hasRelatedWork W2159449605 @default.
• W2087666725 hasRelatedWork W2406565089 @default.
• W2087666725 hasRelatedWork W249340682 @default.
• W2087666725 hasRelatedWork W2951456305 @default.
• W2087666725 hasRelatedWork W4299618114 @default.
• W2087666725 hasRelatedWork W4313207396 @default.
• W2087666725 hasVolume "209" @default.
• W2087666725 isParatext "false" @default.
• W2087666725 isRetracted "false" @default.
• W2087666725 magId "2087666725" @default.

• next