Matches in SemOpenAlex for { <https://semopenalex.org/work/W2772024416> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2772024416 endingPage "207" @default.
- W2772024416 startingPage "189" @default.
- W2772024416 abstract "P-Store is a well-known partially replicated transactional data store that combines wide-area replication, data partition, some fault tolerance, serializability, and limited use of atomic multicast. In addition, a number of recent data store designs can be seen as extensions of P-Store. This paper describes the formalization and formal analysis of P-Store using the rewriting logic framework Maude. As part of this work, this paper specifies group communication commitment and defines an abstract Maude model of atomic multicast, both of which are key building blocks in many data store designs. Maude model checking analysis uncovered a non-trivial error in P-Store; this paper also formalizes a correction of P-Store whose analysis did not uncover any flaw." @default.
- W2772024416 created "2017-12-22" @default.
- W2772024416 creator A5078403066 @default.
- W2772024416 date "2017-01-01" @default.
- W2772024416 modified "2023-10-18" @default.
- W2772024416 title "Formalizing and Validating the P-Store Replicated Data Store in Maude" @default.
- W2772024416 cites W142727657 @default.
- W2772024416 cites W1969925795 @default.
- W2772024416 cites W1973938051 @default.
- W2772024416 cites W2025073323 @default.
- W2772024416 cites W2042601303 @default.
- W2772024416 cites W2092163141 @default.
- W2772024416 cites W2096572191 @default.
- W2772024416 cites W2154188783 @default.
- W2772024416 cites W2194648763 @default.
- W2772024416 cites W2480339434 @default.
- W2772024416 cites W329665467 @default.
- W2772024416 doi "https://doi.org/10.1007/978-3-319-72044-9_13" @default.
- W2772024416 hasPublicationYear "2017" @default.
- W2772024416 type Work @default.
- W2772024416 sameAs 2772024416 @default.
- W2772024416 citedByCount "8" @default.
- W2772024416 countsByYear W27720244162017 @default.
- W2772024416 countsByYear W27720244162018 @default.
- W2772024416 countsByYear W27720244162019 @default.
- W2772024416 countsByYear W27720244162020 @default.
- W2772024416 countsByYear W27720244162021 @default.
- W2772024416 crossrefType "book-chapter" @default.
- W2772024416 hasAuthorship W2772024416A5078403066 @default.
- W2772024416 hasBestOaLocation W27720244162 @default.
- W2772024416 hasConcept C105795698 @default.
- W2772024416 hasConcept C110251889 @default.
- W2772024416 hasConcept C114614502 @default.
- W2772024416 hasConcept C120314980 @default.
- W2772024416 hasConcept C12590798 @default.
- W2772024416 hasConcept C154690210 @default.
- W2772024416 hasConcept C174174714 @default.
- W2772024416 hasConcept C191558696 @default.
- W2772024416 hasConcept C192059732 @default.
- W2772024416 hasConcept C199360897 @default.
- W2772024416 hasConcept C25185021 @default.
- W2772024416 hasConcept C32295351 @default.
- W2772024416 hasConcept C33762810 @default.
- W2772024416 hasConcept C33923547 @default.
- W2772024416 hasConcept C41008148 @default.
- W2772024416 hasConcept C42812 @default.
- W2772024416 hasConcept C72108876 @default.
- W2772024416 hasConcept C75949130 @default.
- W2772024416 hasConcept C77088390 @default.
- W2772024416 hasConceptScore W2772024416C105795698 @default.
- W2772024416 hasConceptScore W2772024416C110251889 @default.
- W2772024416 hasConceptScore W2772024416C114614502 @default.
- W2772024416 hasConceptScore W2772024416C120314980 @default.
- W2772024416 hasConceptScore W2772024416C12590798 @default.
- W2772024416 hasConceptScore W2772024416C154690210 @default.
- W2772024416 hasConceptScore W2772024416C174174714 @default.
- W2772024416 hasConceptScore W2772024416C191558696 @default.
- W2772024416 hasConceptScore W2772024416C192059732 @default.
- W2772024416 hasConceptScore W2772024416C199360897 @default.
- W2772024416 hasConceptScore W2772024416C25185021 @default.
- W2772024416 hasConceptScore W2772024416C32295351 @default.
- W2772024416 hasConceptScore W2772024416C33762810 @default.
- W2772024416 hasConceptScore W2772024416C33923547 @default.
- W2772024416 hasConceptScore W2772024416C41008148 @default.
- W2772024416 hasConceptScore W2772024416C42812 @default.
- W2772024416 hasConceptScore W2772024416C72108876 @default.
- W2772024416 hasConceptScore W2772024416C75949130 @default.
- W2772024416 hasConceptScore W2772024416C77088390 @default.
- W2772024416 hasLocation W27720244161 @default.
- W2772024416 hasLocation W27720244162 @default.
- W2772024416 hasLocation W27720244163 @default.
- W2772024416 hasOpenAccess W2772024416 @default.
- W2772024416 hasPrimaryLocation W27720244161 @default.
- W2772024416 hasRelatedWork W1510764913 @default.
- W2772024416 hasRelatedWork W1573778620 @default.
- W2772024416 hasRelatedWork W1821608153 @default.
- W2772024416 hasRelatedWork W2106369369 @default.
- W2772024416 hasRelatedWork W2115965146 @default.
- W2772024416 hasRelatedWork W2122533354 @default.
- W2772024416 hasRelatedWork W2357538422 @default.
- W2772024416 hasRelatedWork W2369320728 @default.
- W2772024416 hasRelatedWork W2772024416 @default.
- W2772024416 hasRelatedWork W2941569916 @default.
- W2772024416 isParatext "false" @default.
- W2772024416 isRetracted "false" @default.
- W2772024416 magId "2772024416" @default.
- W2772024416 workType "book-chapter" @default.