Matches in SemOpenAlex for { <https://semopenalex.org/work/W2042255170> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2042255170 endingPage "382" @default.
- W2042255170 startingPage "374" @default.
- W2042255170 abstract "This paper presents a technique for specifying and verifying properties of “sentinels”—a high-level language construct for synchronizing access to shared resources. Statements in the specification language possess formal temporal semantics. As a prelude to proving the correctness of sentinels, the semantics of constructs used in sentinels is given. The proof technique involves showing that the temporal behavior of a sentinel conforms to that defined by the specification. The methodology is illustrated by applying it to a typical synchronization problem." @default.
- W2042255170 created "2016-06-24" @default.
- W2042255170 creator A5048831245 @default.
- W2042255170 creator A5089825930 @default.
- W2042255170 date "1981-03-09" @default.
- W2042255170 modified "2023-09-23" @default.
- W2042255170 title "Specifying and proving properties of sentinel processes" @default.
- W2042255170 cites W145946779 @default.
- W2042255170 cites W1581155387 @default.
- W2042255170 cites W1885291281 @default.
- W2042255170 cites W1965662337 @default.
- W2042255170 cites W1968083012 @default.
- W2042255170 cites W1970603830 @default.
- W2042255170 cites W1989631754 @default.
- W2042255170 cites W1994350081 @default.
- W2042255170 cites W2003040530 @default.
- W2042255170 cites W2030926579 @default.
- W2042255170 cites W2036657564 @default.
- W2042255170 cites W2131791649 @default.
- W2042255170 cites W2157337518 @default.
- W2042255170 cites W2340595401 @default.
- W2042255170 cites W3146075203 @default.
- W2042255170 doi "https://doi.org/10.5555/800078.802550" @default.
- W2042255170 hasPublicationYear "1981" @default.
- W2042255170 type Work @default.
- W2042255170 sameAs 2042255170 @default.
- W2042255170 citedByCount "4" @default.
- W2042255170 crossrefType "proceedings-article" @default.
- W2042255170 hasAuthorship W2042255170A5048831245 @default.
- W2042255170 hasAuthorship W2042255170A5089825930 @default.
- W2042255170 hasConcept C111498074 @default.
- W2042255170 hasConcept C116253237 @default.
- W2042255170 hasConcept C127162648 @default.
- W2042255170 hasConcept C146499914 @default.
- W2042255170 hasConcept C156325763 @default.
- W2042255170 hasConcept C162932704 @default.
- W2042255170 hasConcept C184337299 @default.
- W2042255170 hasConcept C199360897 @default.
- W2042255170 hasConcept C201677973 @default.
- W2042255170 hasConcept C2778562939 @default.
- W2042255170 hasConcept C2780801425 @default.
- W2042255170 hasConcept C31258907 @default.
- W2042255170 hasConcept C41008148 @default.
- W2042255170 hasConcept C48859967 @default.
- W2042255170 hasConcept C55439883 @default.
- W2042255170 hasConcept C75606506 @default.
- W2042255170 hasConcept C761482 @default.
- W2042255170 hasConcept C76155785 @default.
- W2042255170 hasConcept C80444323 @default.
- W2042255170 hasConceptScore W2042255170C111498074 @default.
- W2042255170 hasConceptScore W2042255170C116253237 @default.
- W2042255170 hasConceptScore W2042255170C127162648 @default.
- W2042255170 hasConceptScore W2042255170C146499914 @default.
- W2042255170 hasConceptScore W2042255170C156325763 @default.
- W2042255170 hasConceptScore W2042255170C162932704 @default.
- W2042255170 hasConceptScore W2042255170C184337299 @default.
- W2042255170 hasConceptScore W2042255170C199360897 @default.
- W2042255170 hasConceptScore W2042255170C201677973 @default.
- W2042255170 hasConceptScore W2042255170C2778562939 @default.
- W2042255170 hasConceptScore W2042255170C2780801425 @default.
- W2042255170 hasConceptScore W2042255170C31258907 @default.
- W2042255170 hasConceptScore W2042255170C41008148 @default.
- W2042255170 hasConceptScore W2042255170C48859967 @default.
- W2042255170 hasConceptScore W2042255170C55439883 @default.
- W2042255170 hasConceptScore W2042255170C75606506 @default.
- W2042255170 hasConceptScore W2042255170C761482 @default.
- W2042255170 hasConceptScore W2042255170C76155785 @default.
- W2042255170 hasConceptScore W2042255170C80444323 @default.
- W2042255170 hasLocation W20422551701 @default.
- W2042255170 hasOpenAccess W2042255170 @default.
- W2042255170 hasPrimaryLocation W20422551701 @default.
- W2042255170 hasRelatedWork W1550487903 @default.
- W2042255170 hasRelatedWork W1593065203 @default.
- W2042255170 hasRelatedWork W1782171781 @default.
- W2042255170 hasRelatedWork W1818074640 @default.
- W2042255170 hasRelatedWork W1874247119 @default.
- W2042255170 hasRelatedWork W1963436944 @default.
- W2042255170 hasRelatedWork W2022933226 @default.
- W2042255170 hasRelatedWork W2028487565 @default.
- W2042255170 hasRelatedWork W2040805610 @default.
- W2042255170 hasRelatedWork W2065906299 @default.
- W2042255170 hasRelatedWork W2086005798 @default.
- W2042255170 hasRelatedWork W2125051100 @default.
- W2042255170 hasRelatedWork W2129292921 @default.
- W2042255170 hasRelatedWork W2144220824 @default.
- W2042255170 hasRelatedWork W2161166453 @default.
- W2042255170 hasRelatedWork W2361009992 @default.
- W2042255170 hasRelatedWork W238195428 @default.
- W2042255170 hasRelatedWork W2535159545 @default.
- W2042255170 hasRelatedWork W2535835324 @default.
- W2042255170 hasRelatedWork W2612188151 @default.
- W2042255170 isParatext "false" @default.
- W2042255170 isRetracted "false" @default.
- W2042255170 magId "2042255170" @default.
- W2042255170 workType "article" @default.