Matches in SemOpenAlex for { <https://semopenalex.org/work/W3126547945> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W3126547945 endingPage "160" @default.
- W3126547945 startingPage "150" @default.
- W3126547945 abstract "Leslie Lamport, known for his seminal work in distributed systems, famously said, A distributed system is one in which the failure of a computer you didn’t even know existed can render your own computer unusable. Given this bleak outlook and the large set of possible failures, how do you even begin to verify and validate that the distributed systems you build are doing the right thing?" @default.
- W3126547945 created "2021-02-15" @default.
- W3126547945 creator A5027129978 @default.
- W3126547945 date "2015-11-01" @default.
- W3126547945 modified "2023-09-27" @default.
- W3126547945 title "The Verification of a Distributed System" @default.
- W3126547945 cites W1973938051 @default.
- W3126547945 cites W2023718005 @default.
- W3126547945 cites W2167814583 @default.
- W3126547945 cites W3137784269 @default.
- W3126547945 doi "https://doi.org/10.1145/2857274.2889274" @default.
- W3126547945 hasPublicationYear "2015" @default.
- W3126547945 type Work @default.
- W3126547945 sameAs 3126547945 @default.
- W3126547945 citedByCount "5" @default.
- W3126547945 countsByYear W31265479452016 @default.
- W3126547945 countsByYear W31265479452017 @default.
- W3126547945 countsByYear W31265479452018 @default.
- W3126547945 countsByYear W31265479452020 @default.
- W3126547945 crossrefType "journal-article" @default.
- W3126547945 hasAuthorship W3126547945A5027129978 @default.
- W3126547945 hasBestOaLocation W31265479451 @default.
- W3126547945 hasConcept C111919701 @default.
- W3126547945 hasConcept C120314980 @default.
- W3126547945 hasConcept C177264268 @default.
- W3126547945 hasConcept C199360897 @default.
- W3126547945 hasConcept C41008148 @default.
- W3126547945 hasConceptScore W3126547945C111919701 @default.
- W3126547945 hasConceptScore W3126547945C120314980 @default.
- W3126547945 hasConceptScore W3126547945C177264268 @default.
- W3126547945 hasConceptScore W3126547945C199360897 @default.
- W3126547945 hasConceptScore W3126547945C41008148 @default.
- W3126547945 hasIssue "9" @default.
- W3126547945 hasLocation W31265479451 @default.
- W3126547945 hasOpenAccess W3126547945 @default.
- W3126547945 hasPrimaryLocation W31265479451 @default.
- W3126547945 hasRelatedWork W2013111119 @default.
- W3126547945 hasRelatedWork W2047793074 @default.
- W3126547945 hasRelatedWork W2112962394 @default.
- W3126547945 hasRelatedWork W2118300983 @default.
- W3126547945 hasRelatedWork W2382501300 @default.
- W3126547945 hasRelatedWork W3137189469 @default.
- W3126547945 hasRelatedWork W3162240892 @default.
- W3126547945 hasRelatedWork W4235530921 @default.
- W3126547945 hasRelatedWork W4243252198 @default.
- W3126547945 hasRelatedWork W4245713008 @default.
- W3126547945 hasVolume "13" @default.
- W3126547945 isParatext "false" @default.
- W3126547945 isRetracted "false" @default.
- W3126547945 magId "3126547945" @default.
- W3126547945 workType "article" @default.