Matches in SemOpenAlex for { <https://semopenalex.org/work/W308462151> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W308462151 abstract "Jones' rely-guarantee calculus for shared variable concurrency is extended to include probabilistic behaviours. We use an algebraic approach which combines and adapts probabilistic Kleene algebras with concurrent Kleene algebra. Soundness of the algebra is shown relative to a general probabilistic event structure semantics. The main contribution of this paper is a collection of rely-guarantee rules built on top of that semantics. In particular, we show how to obtain bounds on probabilities by deriving rely-guarantee rules within the true-concurrent denotational semantics. The use of these rules is illustrated by a detailed verification of a simple probabilistic concurrent program: a faulty Eratosthenes sieve." @default.
- W308462151 created "2016-06-24" @default.
- W308462151 creator A5004734550 @default.
- W308462151 creator A5035107880 @default.
- W308462151 creator A5048557064 @default.
- W308462151 date "2014-09-01" @default.
- W308462151 modified "2023-09-27" @default.
- W308462151 title "Probabilistic Rely-guarantee Calculus" @default.
- W308462151 cites W138290785 @default.
- W308462151 cites W1492711856 @default.
- W308462151 cites W1497421547 @default.
- W308462151 cites W1500635751 @default.
- W308462151 cites W1576138800 @default.
- W308462151 cites W1650412348 @default.
- W308462151 cites W2010586473 @default.
- W308462151 cites W2024355065 @default.
- W308462151 cites W2072033902 @default.
- W308462151 cites W2096490078 @default.
- W308462151 cites W3049713846 @default.
- W308462151 cites W654554709 @default.
- W308462151 hasPublicationYear "2014" @default.
- W308462151 type Work @default.
- W308462151 sameAs 308462151 @default.
- W308462151 citedByCount "0" @default.
- W308462151 crossrefType "posted-content" @default.
- W308462151 hasAuthorship W308462151A5004734550 @default.
- W308462151 hasAuthorship W308462151A5035107880 @default.
- W308462151 hasAuthorship W308462151A5048557064 @default.
- W308462151 hasConcept C111472728 @default.
- W308462151 hasConcept C118615104 @default.
- W308462151 hasConcept C136119220 @default.
- W308462151 hasConcept C138885662 @default.
- W308462151 hasConcept C154945302 @default.
- W308462151 hasConcept C156325763 @default.
- W308462151 hasConcept C161771561 @default.
- W308462151 hasConcept C184337299 @default.
- W308462151 hasConcept C193702766 @default.
- W308462151 hasConcept C199360897 @default.
- W308462151 hasConcept C202444582 @default.
- W308462151 hasConcept C206470798 @default.
- W308462151 hasConcept C207648694 @default.
- W308462151 hasConcept C2780586882 @default.
- W308462151 hasConcept C33923547 @default.
- W308462151 hasConcept C39920170 @default.
- W308462151 hasConcept C41008148 @default.
- W308462151 hasConcept C49937458 @default.
- W308462151 hasConcept C80444323 @default.
- W308462151 hasConceptScore W308462151C111472728 @default.
- W308462151 hasConceptScore W308462151C118615104 @default.
- W308462151 hasConceptScore W308462151C136119220 @default.
- W308462151 hasConceptScore W308462151C138885662 @default.
- W308462151 hasConceptScore W308462151C154945302 @default.
- W308462151 hasConceptScore W308462151C156325763 @default.
- W308462151 hasConceptScore W308462151C161771561 @default.
- W308462151 hasConceptScore W308462151C184337299 @default.
- W308462151 hasConceptScore W308462151C193702766 @default.
- W308462151 hasConceptScore W308462151C199360897 @default.
- W308462151 hasConceptScore W308462151C202444582 @default.
- W308462151 hasConceptScore W308462151C206470798 @default.
- W308462151 hasConceptScore W308462151C207648694 @default.
- W308462151 hasConceptScore W308462151C2780586882 @default.
- W308462151 hasConceptScore W308462151C33923547 @default.
- W308462151 hasConceptScore W308462151C39920170 @default.
- W308462151 hasConceptScore W308462151C41008148 @default.
- W308462151 hasConceptScore W308462151C49937458 @default.
- W308462151 hasConceptScore W308462151C80444323 @default.
- W308462151 hasLocation W3084621511 @default.
- W308462151 hasOpenAccess W308462151 @default.
- W308462151 hasPrimaryLocation W3084621511 @default.
- W308462151 hasRelatedWork W1499503385 @default.
- W308462151 hasRelatedWork W1499990527 @default.
- W308462151 hasRelatedWork W1503878808 @default.
- W308462151 hasRelatedWork W1567812096 @default.
- W308462151 hasRelatedWork W1579103101 @default.
- W308462151 hasRelatedWork W1598016083 @default.
- W308462151 hasRelatedWork W2033036630 @default.
- W308462151 hasRelatedWork W2053843943 @default.
- W308462151 hasRelatedWork W2057057011 @default.
- W308462151 hasRelatedWork W2058440484 @default.
- W308462151 hasRelatedWork W2119029543 @default.
- W308462151 hasRelatedWork W2125410986 @default.
- W308462151 hasRelatedWork W2154113949 @default.
- W308462151 hasRelatedWork W22667845 @default.
- W308462151 hasRelatedWork W2467040566 @default.
- W308462151 hasRelatedWork W2471401686 @default.
- W308462151 hasRelatedWork W2962831884 @default.
- W308462151 hasRelatedWork W3096633875 @default.
- W308462151 hasRelatedWork W3122935293 @default.
- W308462151 hasRelatedWork W3135402417 @default.
- W308462151 isParatext "false" @default.
- W308462151 isRetracted "false" @default.
- W308462151 magId "308462151" @default.
- W308462151 workType "article" @default.