Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514264265> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W1514264265 abstract "A new, nonassertional approach to proving multiprocess program correctness is described by proving the correctness of a new algorithm to solve the mutual exclusion problem. The algorithm is an improved version of the bakery algorithm. It is specified and proved correct without being decomposed into indivisible, atomic operations. This allows two different implementations for a conventional, nondistributed system. Moreover, the approach provides a sufficiently general specification of the algorithm to allow nontrivial implementations for a distributed system as well." @default.
- W1514264265 created "2016-06-24" @default.
- W1514264265 creator A5040623453 @default.
- W1514264265 date "1979-01-01" @default.
- W1514264265 modified "2023-09-27" @default.
- W1514264265 title "A New Approach to Proving the Correctness of Multiprocess" @default.
- W1514264265 cites W1965662337 @default.
- W1514264265 cites W1973501242 @default.
- W1514264265 cites W1994350081 @default.
- W1514264265 cites W2031561037 @default.
- W1514264265 cites W2070908350 @default.
- W1514264265 cites W2121236443 @default.
- W1514264265 cites W2132334337 @default.
- W1514264265 hasPublicationYear "1979" @default.
- W1514264265 type Work @default.
- W1514264265 sameAs 1514264265 @default.
- W1514264265 citedByCount "0" @default.
- W1514264265 crossrefType "journal-article" @default.
- W1514264265 hasAuthorship W1514264265A5040623453 @default.
- W1514264265 hasConcept C11413529 @default.
- W1514264265 hasConcept C199360897 @default.
- W1514264265 hasConcept C26713055 @default.
- W1514264265 hasConcept C41008148 @default.
- W1514264265 hasConcept C55439883 @default.
- W1514264265 hasConcept C56348326 @default.
- W1514264265 hasConcept C80444323 @default.
- W1514264265 hasConceptScore W1514264265C11413529 @default.
- W1514264265 hasConceptScore W1514264265C199360897 @default.
- W1514264265 hasConceptScore W1514264265C26713055 @default.
- W1514264265 hasConceptScore W1514264265C41008148 @default.
- W1514264265 hasConceptScore W1514264265C55439883 @default.
- W1514264265 hasConceptScore W1514264265C56348326 @default.
- W1514264265 hasConceptScore W1514264265C80444323 @default.
- W1514264265 hasLocation W15142642651 @default.
- W1514264265 hasOpenAccess W1514264265 @default.
- W1514264265 hasPrimaryLocation W15142642651 @default.
- W1514264265 hasRelatedWork W1507360212 @default.
- W1514264265 hasRelatedWork W1567720588 @default.
- W1514264265 hasRelatedWork W1671661949 @default.
- W1514264265 hasRelatedWork W191465815 @default.
- W1514264265 hasRelatedWork W1971463038 @default.
- W1514264265 hasRelatedWork W1973954352 @default.
- W1514264265 hasRelatedWork W1998131711 @default.
- W1514264265 hasRelatedWork W2033379703 @default.
- W1514264265 hasRelatedWork W2034565311 @default.
- W1514264265 hasRelatedWork W2093604510 @default.
- W1514264265 hasRelatedWork W2103491610 @default.
- W1514264265 hasRelatedWork W2182007960 @default.
- W1514264265 hasRelatedWork W2213886569 @default.
- W1514264265 hasRelatedWork W2401589146 @default.
- W1514264265 hasRelatedWork W2496462108 @default.
- W1514264265 hasRelatedWork W2616886744 @default.
- W1514264265 hasRelatedWork W2738180102 @default.
- W1514264265 hasRelatedWork W3021273075 @default.
- W1514264265 hasRelatedWork W59785199 @default.
- W1514264265 hasRelatedWork W8308374 @default.
- W1514264265 isParatext "false" @default.
- W1514264265 isRetracted "false" @default.
- W1514264265 magId "1514264265" @default.
- W1514264265 workType "article" @default.