Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898037582> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2898037582 abstract "The combinatorial explosion of states makes distributed, asynchronous systems difficult for humans to reason about. Leslie Lamport's TLA+, a specification language based on Temporal Logic of Actions, provides a precise, formal language for discussing such systems without needing high-level mathematics. In this paper, we provide a reusable TLA+ module for specifying and model checking asynchronous message-passing systems. TLA+ syntax and semantics are introduced as we describe the module." @default.
- W2898037582 created "2018-10-26" @default.
- W2898037582 creator A5013607020 @default.
- W2898037582 creator A5038645638 @default.
- W2898037582 date "2018-04-01" @default.
- W2898037582 modified "2023-10-16" @default.
- W2898037582 title "A TLA+ Module for Asynchronous Message-Passing Systems" @default.
- W2898037582 cites W10395755 @default.
- W2898037582 cites W1489427702 @default.
- W2898037582 cites W1504504841 @default.
- W2898037582 cites W1592066271 @default.
- W2898037582 cites W172265393 @default.
- W2898037582 cites W1846389971 @default.
- W2898037582 cites W1903523362 @default.
- W2898037582 cites W1973938051 @default.
- W2898037582 cites W2018562253 @default.
- W2898037582 cites W2098170468 @default.
- W2898037582 cites W2109123667 @default.
- W2898037582 cites W2113279409 @default.
- W2898037582 cites W2121978431 @default.
- W2898037582 cites W2121990267 @default.
- W2898037582 cites W2125047630 @default.
- W2898037582 cites W2171566440 @default.
- W2898037582 cites W2912556876 @default.
- W2898037582 cites W3100217861 @default.
- W2898037582 cites W44676229 @default.
- W2898037582 cites W844155107 @default.
- W2898037582 doi "https://doi.org/10.1109/secon.2018.8479004" @default.
- W2898037582 hasPublicationYear "2018" @default.
- W2898037582 type Work @default.
- W2898037582 sameAs 2898037582 @default.
- W2898037582 citedByCount "0" @default.
- W2898037582 crossrefType "proceedings-article" @default.
- W2898037582 hasAuthorship W2898037582A5013607020 @default.
- W2898037582 hasAuthorship W2898037582A5038645638 @default.
- W2898037582 hasConcept C110251889 @default.
- W2898037582 hasConcept C151319957 @default.
- W2898037582 hasConcept C154945302 @default.
- W2898037582 hasConcept C184337299 @default.
- W2898037582 hasConcept C199360897 @default.
- W2898037582 hasConcept C201677973 @default.
- W2898037582 hasConcept C25016198 @default.
- W2898037582 hasConcept C31258907 @default.
- W2898037582 hasConcept C41008148 @default.
- W2898037582 hasConcept C60048249 @default.
- W2898037582 hasConcept C80444323 @default.
- W2898037582 hasConcept C854659 @default.
- W2898037582 hasConceptScore W2898037582C110251889 @default.
- W2898037582 hasConceptScore W2898037582C151319957 @default.
- W2898037582 hasConceptScore W2898037582C154945302 @default.
- W2898037582 hasConceptScore W2898037582C184337299 @default.
- W2898037582 hasConceptScore W2898037582C199360897 @default.
- W2898037582 hasConceptScore W2898037582C201677973 @default.
- W2898037582 hasConceptScore W2898037582C25016198 @default.
- W2898037582 hasConceptScore W2898037582C31258907 @default.
- W2898037582 hasConceptScore W2898037582C41008148 @default.
- W2898037582 hasConceptScore W2898037582C60048249 @default.
- W2898037582 hasConceptScore W2898037582C80444323 @default.
- W2898037582 hasConceptScore W2898037582C854659 @default.
- W2898037582 hasLocation W28980375821 @default.
- W2898037582 hasOpenAccess W2898037582 @default.
- W2898037582 hasPrimaryLocation W28980375821 @default.
- W2898037582 hasRelatedWork W1520331526 @default.
- W2898037582 hasRelatedWork W1545478138 @default.
- W2898037582 hasRelatedWork W1553803144 @default.
- W2898037582 hasRelatedWork W1586826113 @default.
- W2898037582 hasRelatedWork W1964086191 @default.
- W2898037582 hasRelatedWork W1968113108 @default.
- W2898037582 hasRelatedWork W1989156571 @default.
- W2898037582 hasRelatedWork W2084026232 @default.
- W2898037582 hasRelatedWork W2101715072 @default.
- W2898037582 hasRelatedWork W2117096591 @default.
- W2898037582 hasRelatedWork W2124931280 @default.
- W2898037582 hasRelatedWork W2127611157 @default.
- W2898037582 hasRelatedWork W2140307499 @default.
- W2898037582 hasRelatedWork W2144140927 @default.
- W2898037582 hasRelatedWork W2155205550 @default.
- W2898037582 hasRelatedWork W2218371816 @default.
- W2898037582 hasRelatedWork W2504786471 @default.
- W2898037582 hasRelatedWork W2573182298 @default.
- W2898037582 hasRelatedWork W2921920223 @default.
- W2898037582 hasRelatedWork W3101950892 @default.
- W2898037582 isParatext "false" @default.
- W2898037582 isRetracted "false" @default.
- W2898037582 magId "2898037582" @default.
- W2898037582 workType "article" @default.