Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384112079> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4384112079 abstract "We present process-algebraic models of multi-writer multi-reader safe, regular and atomic registers. We establish the relationship between our models and alternative versions presented in the literature. We use our models to formally analyse by model checking to what extent several well-known mutual exclusion algorithms are robust for relaxed atomicity requirements. Our analyses refute correctness claims made about some of these algorithms in the literature." @default.
- W4384112079 created "2023-07-13" @default.
- W4384112079 creator A5067908378 @default.
- W4384112079 creator A5092457036 @default.
- W4384112079 date "2023-07-11" @default.
- W4384112079 modified "2023-09-25" @default.
- W4384112079 title "Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers" @default.
- W4384112079 doi "https://doi.org/10.48550/arxiv.2307.05143" @default.
- W4384112079 hasPublicationYear "2023" @default.
- W4384112079 type Work @default.
- W4384112079 citedByCount "0" @default.
- W4384112079 crossrefType "posted-content" @default.
- W4384112079 hasAuthorship W4384112079A5067908378 @default.
- W4384112079 hasAuthorship W4384112079A5092457036 @default.
- W4384112079 hasBestOaLocation W43841120791 @default.
- W4384112079 hasConcept C11413529 @default.
- W4384112079 hasConcept C134306372 @default.
- W4384112079 hasConcept C161771561 @default.
- W4384112079 hasConcept C188045909 @default.
- W4384112079 hasConcept C199360897 @default.
- W4384112079 hasConcept C33923547 @default.
- W4384112079 hasConcept C41008148 @default.
- W4384112079 hasConcept C55439883 @default.
- W4384112079 hasConcept C56348326 @default.
- W4384112079 hasConcept C75949130 @default.
- W4384112079 hasConcept C80444323 @default.
- W4384112079 hasConcept C9376300 @default.
- W4384112079 hasConcept C98045186 @default.
- W4384112079 hasConceptScore W4384112079C11413529 @default.
- W4384112079 hasConceptScore W4384112079C134306372 @default.
- W4384112079 hasConceptScore W4384112079C161771561 @default.
- W4384112079 hasConceptScore W4384112079C188045909 @default.
- W4384112079 hasConceptScore W4384112079C199360897 @default.
- W4384112079 hasConceptScore W4384112079C33923547 @default.
- W4384112079 hasConceptScore W4384112079C41008148 @default.
- W4384112079 hasConceptScore W4384112079C55439883 @default.
- W4384112079 hasConceptScore W4384112079C56348326 @default.
- W4384112079 hasConceptScore W4384112079C75949130 @default.
- W4384112079 hasConceptScore W4384112079C80444323 @default.
- W4384112079 hasConceptScore W4384112079C9376300 @default.
- W4384112079 hasConceptScore W4384112079C98045186 @default.
- W4384112079 hasLocation W43841120791 @default.
- W4384112079 hasOpenAccess W4384112079 @default.
- W4384112079 hasPrimaryLocation W43841120791 @default.
- W4384112079 hasRelatedWork W1972854274 @default.
- W4384112079 hasRelatedWork W1984871414 @default.
- W4384112079 hasRelatedWork W1985198438 @default.
- W4384112079 hasRelatedWork W2037546465 @default.
- W4384112079 hasRelatedWork W2119318510 @default.
- W4384112079 hasRelatedWork W2276164673 @default.
- W4384112079 hasRelatedWork W2413414728 @default.
- W4384112079 hasRelatedWork W2752116518 @default.
- W4384112079 hasRelatedWork W2776953575 @default.
- W4384112079 hasRelatedWork W4238823939 @default.
- W4384112079 isParatext "false" @default.
- W4384112079 isRetracted "false" @default.
- W4384112079 workType "article" @default.