Matches in SemOpenAlex for { <https://semopenalex.org/work/W944248570> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W944248570 abstract "The design of correct concurrent and distributed algorithms is notoriously difficult, and they are prone to errors such as deadlocks and race conditions. Model checking is one of the most successful formal techniques that are used to verify these algorithms. For example, TLC accepts models written in TLA+, a specification language based on mathematical set theory and the Temporal Logic of Actions. Such languages have a very different flavor from the (pseudo-)programming languages that algorithm designers typically use to express algorithms. PLUSCAL introduced by Leslie Lamport, is a high-level language for describing concurrent and distributed algorithms, from which TLA+ models are generated and then analyzed using TLC. Unfortunately, PLUSCAL suffers from a number of limitations that restricts its usefulness as an abstraction layer for the underlying TLA+ formalism." @default.
- W944248570 created "2016-06-24" @default.
- W944248570 creator A5024509534 @default.
- W944248570 creator A5029040498 @default.
- W944248570 creator A5067310583 @default.
- W944248570 date "2010-03-10" @default.
- W944248570 modified "2023-09-27" @default.
- W944248570 title "Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms" @default.
- W944248570 cites W1504504841 @default.
- W944248570 cites W1539432158 @default.
- W944248570 cites W2125047630 @default.
- W944248570 cites W2134042909 @default.
- W944248570 cites W2166071597 @default.
- W944248570 cites W2340735175 @default.
- W944248570 cites W2913459036 @default.
- W944248570 hasPublicationYear "2010" @default.
- W944248570 type Work @default.
- W944248570 sameAs 944248570 @default.
- W944248570 citedByCount "0" @default.
- W944248570 crossrefType "journal-article" @default.
- W944248570 hasAuthorship W944248570A5024509534 @default.
- W944248570 hasAuthorship W944248570A5029040498 @default.
- W944248570 hasAuthorship W944248570A5067310583 @default.
- W944248570 hasConcept C110251889 @default.
- W944248570 hasConcept C111472728 @default.
- W944248570 hasConcept C11413529 @default.
- W944248570 hasConcept C124304363 @default.
- W944248570 hasConcept C138885662 @default.
- W944248570 hasConcept C142362112 @default.
- W944248570 hasConcept C146072743 @default.
- W944248570 hasConcept C153349607 @default.
- W944248570 hasConcept C193702766 @default.
- W944248570 hasConcept C199360897 @default.
- W944248570 hasConcept C41008148 @default.
- W944248570 hasConcept C558565934 @default.
- W944248570 hasConcept C73301696 @default.
- W944248570 hasConcept C80444323 @default.
- W944248570 hasConceptScore W944248570C110251889 @default.
- W944248570 hasConceptScore W944248570C111472728 @default.
- W944248570 hasConceptScore W944248570C11413529 @default.
- W944248570 hasConceptScore W944248570C124304363 @default.
- W944248570 hasConceptScore W944248570C138885662 @default.
- W944248570 hasConceptScore W944248570C142362112 @default.
- W944248570 hasConceptScore W944248570C146072743 @default.
- W944248570 hasConceptScore W944248570C153349607 @default.
- W944248570 hasConceptScore W944248570C193702766 @default.
- W944248570 hasConceptScore W944248570C199360897 @default.
- W944248570 hasConceptScore W944248570C41008148 @default.
- W944248570 hasConceptScore W944248570C558565934 @default.
- W944248570 hasConceptScore W944248570C73301696 @default.
- W944248570 hasConceptScore W944248570C80444323 @default.
- W944248570 hasLocation W9442485701 @default.
- W944248570 hasOpenAccess W944248570 @default.
- W944248570 hasPrimaryLocation W9442485701 @default.
- W944248570 hasRelatedWork W103868138 @default.
- W944248570 hasRelatedWork W1628689786 @default.
- W944248570 hasRelatedWork W1680216687 @default.
- W944248570 hasRelatedWork W1966415308 @default.
- W944248570 hasRelatedWork W1986915692 @default.
- W944248570 hasRelatedWork W1999494033 @default.
- W944248570 hasRelatedWork W2015121269 @default.
- W944248570 hasRelatedWork W2061230361 @default.
- W944248570 hasRelatedWork W2065605087 @default.
- W944248570 hasRelatedWork W2140846949 @default.
- W944248570 hasRelatedWork W2151629759 @default.
- W944248570 hasRelatedWork W2520249526 @default.
- W944248570 hasRelatedWork W2607808600 @default.
- W944248570 hasRelatedWork W2626529717 @default.
- W944248570 hasRelatedWork W2951518715 @default.
- W944248570 hasRelatedWork W2994785018 @default.
- W944248570 hasRelatedWork W3021455043 @default.
- W944248570 hasRelatedWork W3046246689 @default.
- W944248570 hasRelatedWork W320378117 @default.
- W944248570 hasRelatedWork W1809252806 @default.
- W944248570 isParatext "false" @default.
- W944248570 isRetracted "false" @default.
- W944248570 magId "944248570" @default.
- W944248570 workType "article" @default.