Matches in SemOpenAlex for { <https://semopenalex.org/work/W2769276869> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2769276869 abstract "Many fault-tolerant algorithms are based on decisions made by a quorum of nodes. Since the algorithms are utilised in safety critical applications such as distributed databases, it is necessary to make sure that they operate reliably under every possible scenario. We introduce a generic compositional formalism, based on parameterised labelled transition systems, which allows us to express safety properties of parameterised quorum systems. We prove that any parameterised verification task expressible in the formalism collapses into finitely many finite state refinement checking problems. The technique is implemented in a tool, which performs the verification completely automatically. As an example, we prove the leader election phase of the Raft consensus algorithm correct for an arbitrary number of terms and for a cluster of any size." @default.
- W2769276869 created "2017-12-04" @default.
- W2769276869 creator A5060661020 @default.
- W2769276869 date "2017-06-01" @default.
- W2769276869 modified "2023-09-24" @default.
- W2769276869 title "Refinement Checking Parameterised Quorum Systems" @default.
- W2769276869 cites W111201530 @default.
- W2769276869 cites W1480909796 @default.
- W2769276869 cites W1526447489 @default.
- W2769276869 cites W1546036076 @default.
- W2769276869 cites W1573453798 @default.
- W2769276869 cites W1601517679 @default.
- W2769276869 cites W1649347715 @default.
- W2769276869 cites W1973938051 @default.
- W2769276869 cites W2028113097 @default.
- W2769276869 cites W2032548914 @default.
- W2769276869 cites W2033599053 @default.
- W2769276869 cites W2037776515 @default.
- W2769276869 cites W2046131303 @default.
- W2769276869 cites W2048880957 @default.
- W2769276869 cites W2050362288 @default.
- W2769276869 cites W2059659553 @default.
- W2769276869 cites W2075854425 @default.
- W2769276869 cites W2091776255 @default.
- W2769276869 cites W2109039735 @default.
- W2769276869 cites W2109213558 @default.
- W2769276869 cites W2113100977 @default.
- W2769276869 cites W2153604631 @default.
- W2769276869 cites W2155085924 @default.
- W2769276869 cites W2156580773 @default.
- W2769276869 cites W2167814583 @default.
- W2769276869 cites W219806219 @default.
- W2769276869 cites W2735546981 @default.
- W2769276869 cites W3104749005 @default.
- W2769276869 cites W66273859 @default.
- W2769276869 doi "https://doi.org/10.1109/acsd.2017.15" @default.
- W2769276869 hasPublicationYear "2017" @default.
- W2769276869 type Work @default.
- W2769276869 sameAs 2769276869 @default.
- W2769276869 citedByCount "2" @default.
- W2769276869 countsByYear W27692768692018 @default.
- W2769276869 countsByYear W27692768692020 @default.
- W2769276869 crossrefType "proceedings-article" @default.
- W2769276869 hasAuthorship W2769276869A5060661020 @default.
- W2769276869 hasBestOaLocation W27692768692 @default.
- W2769276869 hasConcept C110251889 @default.
- W2769276869 hasConcept C111498074 @default.
- W2769276869 hasConcept C11413529 @default.
- W2769276869 hasConcept C120314980 @default.
- W2769276869 hasConcept C142362112 @default.
- W2769276869 hasConcept C153349607 @default.
- W2769276869 hasConcept C199360897 @default.
- W2769276869 hasConcept C41008148 @default.
- W2769276869 hasConcept C558565934 @default.
- W2769276869 hasConcept C63540848 @default.
- W2769276869 hasConcept C73301696 @default.
- W2769276869 hasConcept C80444323 @default.
- W2769276869 hasConceptScore W2769276869C110251889 @default.
- W2769276869 hasConceptScore W2769276869C111498074 @default.
- W2769276869 hasConceptScore W2769276869C11413529 @default.
- W2769276869 hasConceptScore W2769276869C120314980 @default.
- W2769276869 hasConceptScore W2769276869C142362112 @default.
- W2769276869 hasConceptScore W2769276869C153349607 @default.
- W2769276869 hasConceptScore W2769276869C199360897 @default.
- W2769276869 hasConceptScore W2769276869C41008148 @default.
- W2769276869 hasConceptScore W2769276869C558565934 @default.
- W2769276869 hasConceptScore W2769276869C63540848 @default.
- W2769276869 hasConceptScore W2769276869C73301696 @default.
- W2769276869 hasConceptScore W2769276869C80444323 @default.
- W2769276869 hasLocation W27692768691 @default.
- W2769276869 hasLocation W27692768692 @default.
- W2769276869 hasOpenAccess W2769276869 @default.
- W2769276869 hasPrimaryLocation W27692768691 @default.
- W2769276869 hasRelatedWork W1564798309 @default.
- W2769276869 hasRelatedWork W1577524604 @default.
- W2769276869 hasRelatedWork W1581951460 @default.
- W2769276869 hasRelatedWork W178138771 @default.
- W2769276869 hasRelatedWork W1857503509 @default.
- W2769276869 hasRelatedWork W2091041215 @default.
- W2769276869 hasRelatedWork W2105172619 @default.
- W2769276869 hasRelatedWork W2185715623 @default.
- W2769276869 hasRelatedWork W2213886569 @default.
- W2769276869 hasRelatedWork W2260751206 @default.
- W2769276869 hasRelatedWork W2286265505 @default.
- W2769276869 hasRelatedWork W2735956334 @default.
- W2769276869 hasRelatedWork W2803302060 @default.
- W2769276869 hasRelatedWork W2972511691 @default.
- W2769276869 hasRelatedWork W2973953287 @default.
- W2769276869 hasRelatedWork W3048546420 @default.
- W2769276869 hasRelatedWork W3131940921 @default.
- W2769276869 hasRelatedWork W3193655279 @default.
- W2769276869 hasRelatedWork W92219756 @default.
- W2769276869 hasRelatedWork W2615062305 @default.
- W2769276869 isParatext "false" @default.
- W2769276869 isRetracted "false" @default.
- W2769276869 magId "2769276869" @default.
- W2769276869 workType "article" @default.