FRINK Linked Data Fragments server

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

• W2015678302 endingPage "4404" @default.
• W2015678302 startingPage "4373" @default.
• W2015678302 abstract "Notions of specification, implementation, satisfaction, and refinement, together with operators supporting stepwise design, constitute a specification theory. We construct such a theory for Markov Chains (MCs) employing a new abstraction of a Constraint MC. Constraint MCs permit rich constraints on probability distributions and thus generalize prior abstractions such as Interval MCs. Linear (polynomial) constraints suffice for closure under conjunction (respectively parallel composition). This is the first specification theory for MCs with such closure properties. We discuss its relation to simpler operators for known languages such as probabilistic process algebra. Despite the generality, all operators and relations are computable." @default.
• W2015678302 created "2016-06-24" @default.
• W2015678302 creator A5000905818 @default.
• W2015678302 creator A5030129842 @default.
• W2015678302 creator A5041261044 @default.
• W2015678302 creator A5056331041 @default.
• W2015678302 creator A5056755949 @default.
• W2015678302 creator A5069362159 @default.
• W2015678302 date "2011-08-01" @default.
• W2015678302 modified "2023-10-03" @default.
• W2015678302 title "Constraint Markov Chains" @default.
• W2015678302 cites W1963951244 @default.
• W2015678302 cites W2005998857 @default.
• W2015678302 cites W2017027749 @default.
• W2015678302 cites W2056941658 @default.
• W2015678302 cites W2093850840 @default.
• W2015678302 cites W2095602520 @default.
• W2015678302 cites W2097474455 @default.
• W2015678302 cites W2130773382 @default.
• W2015678302 cites W2160136100 @default.
• W2015678302 doi "https://doi.org/10.1016/j.tcs.2011.05.010" @default.
• W2015678302 hasPublicationYear "2011" @default.
• W2015678302 type Work @default.
• W2015678302 sameAs 2015678302 @default.
• W2015678302 citedByCount "54" @default.
• W2015678302 countsByYear W20156783022012 @default.
• W2015678302 countsByYear W20156783022013 @default.
• W2015678302 countsByYear W20156783022014 @default.
• W2015678302 countsByYear W20156783022015 @default.
• W2015678302 countsByYear W20156783022016 @default.
• W2015678302 countsByYear W20156783022017 @default.
• W2015678302 countsByYear W20156783022018 @default.
• W2015678302 countsByYear W20156783022019 @default.
• W2015678302 countsByYear W20156783022020 @default.
• W2015678302 countsByYear W20156783022021 @default.
• W2015678302 countsByYear W20156783022023 @default.
• W2015678302 crossrefType "journal-article" @default.
• W2015678302 hasAuthorship W2015678302A5000905818 @default.
• W2015678302 hasAuthorship W2015678302A5030129842 @default.
• W2015678302 hasAuthorship W2015678302A5041261044 @default.
• W2015678302 hasAuthorship W2015678302A5056331041 @default.
• W2015678302 hasAuthorship W2015678302A5056755949 @default.
• W2015678302 hasAuthorship W2015678302A5069362159 @default.
• W2015678302 hasBestOaLocation W20156783021 @default.
• W2015678302 hasConcept C111472728 @default.
• W2015678302 hasConcept C119857082 @default.
• W2015678302 hasConcept C124304363 @default.
• W2015678302 hasConcept C136119220 @default.
• W2015678302 hasConcept C138885662 @default.
• W2015678302 hasConcept C146834321 @default.
• W2015678302 hasConcept C154945302 @default.
• W2015678302 hasConcept C15744967 @default.
• W2015678302 hasConcept C162324750 @default.
• W2015678302 hasConcept C199622910 @default.
• W2015678302 hasConcept C202444582 @default.
• W2015678302 hasConcept C2524010 @default.
• W2015678302 hasConcept C2776036281 @default.
• W2015678302 hasConcept C2780767217 @default.
• W2015678302 hasConcept C33923547 @default.
• W2015678302 hasConcept C34447519 @default.
• W2015678302 hasConcept C41008148 @default.
• W2015678302 hasConcept C49937458 @default.
• W2015678302 hasConcept C542102704 @default.
• W2015678302 hasConcept C80444323 @default.
• W2015678302 hasConcept C98763669 @default.
• W2015678302 hasConceptScore W2015678302C111472728 @default.
• W2015678302 hasConceptScore W2015678302C119857082 @default.
• W2015678302 hasConceptScore W2015678302C124304363 @default.
• W2015678302 hasConceptScore W2015678302C136119220 @default.
• W2015678302 hasConceptScore W2015678302C138885662 @default.
• W2015678302 hasConceptScore W2015678302C146834321 @default.
• W2015678302 hasConceptScore W2015678302C154945302 @default.
• W2015678302 hasConceptScore W2015678302C15744967 @default.
• W2015678302 hasConceptScore W2015678302C162324750 @default.
• W2015678302 hasConceptScore W2015678302C199622910 @default.
• W2015678302 hasConceptScore W2015678302C202444582 @default.
• W2015678302 hasConceptScore W2015678302C2524010 @default.
• W2015678302 hasConceptScore W2015678302C2776036281 @default.
• W2015678302 hasConceptScore W2015678302C2780767217 @default.
• W2015678302 hasConceptScore W2015678302C33923547 @default.
• W2015678302 hasConceptScore W2015678302C34447519 @default.
• W2015678302 hasConceptScore W2015678302C41008148 @default.
• W2015678302 hasConceptScore W2015678302C49937458 @default.
• W2015678302 hasConceptScore W2015678302C542102704 @default.
• W2015678302 hasConceptScore W2015678302C80444323 @default.
• W2015678302 hasConceptScore W2015678302C98763669 @default.
• W2015678302 hasIssue "34" @default.
• W2015678302 hasLocation W20156783021 @default.
• W2015678302 hasLocation W20156783022 @default.
• W2015678302 hasOpenAccess W2015678302 @default.
• W2015678302 hasPrimaryLocation W20156783021 @default.
• W2015678302 hasRelatedWork W1497573972 @default.
• W2015678302 hasRelatedWork W1498099185 @default.
• W2015678302 hasRelatedWork W1587327470 @default.
• W2015678302 hasRelatedWork W2141333305 @default.
• W2015678302 hasRelatedWork W2569102954 @default.
• W2015678302 hasRelatedWork W2894777571 @default.
• W2015678302 hasRelatedWork W2952163312 @default.

• next