Matches in SemOpenAlex for { <https://semopenalex.org/work/W2180221446> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2180221446 abstract "The authors previously give a type system that guarantees that well-typed multi-threaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, however, then well-typed programs may have probabilistic timing channels. They describe how they can be eliminated without making the type system more restrictive. They show that well-typed concurrent programs are probabilistically noninterfering if every total command with a high guard executes atomically. The proof uses the concept of a probabilistic state of a computation, following the work of Kozen (1981)." @default.
- W2180221446 created "2016-06-24" @default.
- W2180221446 creator A5049277739 @default.
- W2180221446 creator A5060241969 @default.
- W2180221446 date "2002-11-27" @default.
- W2180221446 modified "2023-10-12" @default.
- W2180221446 title "Probabilistic noninterference in a concurrent language" @default.
- W2180221446 cites W1940060540 @default.
- W2180221446 cites W1993302007 @default.
- W2180221446 cites W2016017569 @default.
- W2180221446 cites W2024355065 @default.
- W2180221446 cites W2057503672 @default.
- W2180221446 cites W2100019646 @default.
- W2180221446 cites W2116647386 @default.
- W2180221446 cites W2119275622 @default.
- W2180221446 cites W2129858673 @default.
- W2180221446 cites W2150174204 @default.
- W2180221446 cites W2158196184 @default.
- W2180221446 cites W2164766195 @default.
- W2180221446 cites W2294561170 @default.
- W2180221446 cites W2116809841 @default.
- W2180221446 doi "https://doi.org/10.1109/csfw.1998.683153" @default.
- W2180221446 hasPublicationYear "2002" @default.
- W2180221446 type Work @default.
- W2180221446 sameAs 2180221446 @default.
- W2180221446 citedByCount "46" @default.
- W2180221446 countsByYear W21802214462012 @default.
- W2180221446 countsByYear W21802214462013 @default.
- W2180221446 countsByYear W21802214462014 @default.
- W2180221446 countsByYear W21802214462016 @default.
- W2180221446 countsByYear W21802214462017 @default.
- W2180221446 countsByYear W21802214462021 @default.
- W2180221446 countsByYear W21802214462023 @default.
- W2180221446 crossrefType "proceedings-article" @default.
- W2180221446 hasAuthorship W2180221446A5049277739 @default.
- W2180221446 hasAuthorship W2180221446A5060241969 @default.
- W2180221446 hasConcept C120314980 @default.
- W2180221446 hasConcept C127413603 @default.
- W2180221446 hasConcept C141141315 @default.
- W2180221446 hasConcept C154945302 @default.
- W2180221446 hasConcept C199360897 @default.
- W2180221446 hasConcept C206729178 @default.
- W2180221446 hasConcept C21547014 @default.
- W2180221446 hasConcept C41008148 @default.
- W2180221446 hasConcept C45374587 @default.
- W2180221446 hasConcept C49937458 @default.
- W2180221446 hasConcept C80444323 @default.
- W2180221446 hasConceptScore W2180221446C120314980 @default.
- W2180221446 hasConceptScore W2180221446C127413603 @default.
- W2180221446 hasConceptScore W2180221446C141141315 @default.
- W2180221446 hasConceptScore W2180221446C154945302 @default.
- W2180221446 hasConceptScore W2180221446C199360897 @default.
- W2180221446 hasConceptScore W2180221446C206729178 @default.
- W2180221446 hasConceptScore W2180221446C21547014 @default.
- W2180221446 hasConceptScore W2180221446C41008148 @default.
- W2180221446 hasConceptScore W2180221446C45374587 @default.
- W2180221446 hasConceptScore W2180221446C49937458 @default.
- W2180221446 hasConceptScore W2180221446C80444323 @default.
- W2180221446 hasLocation W21802214461 @default.
- W2180221446 hasOpenAccess W2180221446 @default.
- W2180221446 hasPrimaryLocation W21802214461 @default.
- W2180221446 hasRelatedWork W1572108542 @default.
- W2180221446 hasRelatedWork W1882733036 @default.
- W2180221446 hasRelatedWork W1992741870 @default.
- W2180221446 hasRelatedWork W2099266623 @default.
- W2180221446 hasRelatedWork W2109998134 @default.
- W2180221446 hasRelatedWork W2160425906 @default.
- W2180221446 hasRelatedWork W2389719923 @default.
- W2180221446 hasRelatedWork W2546696010 @default.
- W2180221446 hasRelatedWork W2997367849 @default.
- W2180221446 hasRelatedWork W2805391225 @default.
- W2180221446 isParatext "false" @default.
- W2180221446 isRetracted "false" @default.
- W2180221446 magId "2180221446" @default.
- W2180221446 workType "article" @default.