Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/TLA+> ?p ?o }
- TLA+ wikiPageWikiLink MIT_License.
- TLA+ wikiPageWikiLink Macro_(computer_science).
- TLA+ wikiPageWikiLink Manfred_Broy.
- TLA+ wikiPageWikiLink Microsoft.
- TLA+ wikiPageWikiLink Microsoft_Research.
- TLA+ wikiPageWikiLink Model_checker.
- TLA+ wikiPageWikiLink Model_checking.
- TLA+ wikiPageWikiLink Multiset.
- TLA+ wikiPageWikiLink Multisets.
- TLA+ wikiPageWikiLink Mutual_exclusion.
- TLA+ wikiPageWikiLink Natural_number.
- TLA+ wikiPageWikiLink Natural_numbers.
- TLA+ wikiPageWikiLink Parallel_computing.
- TLA+ wikiPageWikiLink Partial_correctness.
- TLA+ wikiPageWikiLink Pastry_(DHT).
- TLA+ wikiPageWikiLink Paxos_(computer_science).
- TLA+ wikiPageWikiLink Peer_review.
- TLA+ wikiPageWikiLink PlusCal.
- TLA+ wikiPageWikiLink Power_set.
- TLA+ wikiPageWikiLink Powerset.
- TLA+ wikiPageWikiLink Prettyprint.
- TLA+ wikiPageWikiLink Pseudocode.
- TLA+ wikiPageWikiLink React_(JavaScript_library).
- TLA+ wikiPageWikiLink Real-time_computing.
- TLA+ wikiPageWikiLink Real-time_system.
- TLA+ wikiPageWikiLink Real_number.
- TLA+ wikiPageWikiLink Real_numbers.
- TLA+ wikiPageWikiLink Record_(computer_science).
- TLA+ wikiPageWikiLink Refinement_(computing).
- TLA+ wikiPageWikiLink Relative_complement.
- TLA+ wikiPageWikiLink Robert_W._Floyd.
- TLA+ wikiPageWikiLink Russells_paradox.
- TLA+ wikiPageWikiLink SRI_International.
- TLA+ wikiPageWikiLink Safety_(distributed_computing).
- TLA+ wikiPageWikiLink Satisfiability_modulo_theories.
- TLA+ wikiPageWikiLink Set_of_all_sets.
- TLA+ wikiPageWikiLink Set_theory.
- TLA+ wikiPageWikiLink Snapshot_isolation.
- TLA+ wikiPageWikiLink Source-to-source_compiler.
- TLA+ wikiPageWikiLink Specification_(technical_standard).
- TLA+ wikiPageWikiLink Stanford.
- TLA+ wikiPageWikiLink Stanford_University.
- TLA+ wikiPageWikiLink Subset.
- TLA+ wikiPageWikiLink Susan_Owicki.
- TLA+ wikiPageWikiLink Syntax_highlighting.
- TLA+ wikiPageWikiLink Technical_specifications.
- TLA+ wikiPageWikiLink Temporal_logic.
- TLA+ wikiPageWikiLink Temporal_logic_of_actions.
- TLA+ wikiPageWikiLink Tuple.
- TLA+ wikiPageWikiLink Tuples.
- TLA+ wikiPageWikiLink Unbounded_nondeterminism.
- TLA+ wikiPageWikiLink Union_(set_theory).
- TLA+ wikiPageWikiLink Universal_quantification.
- TLA+ wikiPageWikiLink Universal_set.
- TLA+ wikiPageWikiLink Xbox_360.
- TLA+ wikiPageWikiLink ZFC.
- TLA+ wikiPageWikiLink Z_notation.
- TLA+ wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- TLA+ wikiPageWikiLink File:Amir_Pnueli.jpg.
- TLA+ wikiPageWikiLink File:Leslie_Lamport.jpg.
- TLA+ wikiPageWikiLink File:TLA_IDE_screenshot.png.
- TLA+ wikiPageWikiLink File:TLC_one-bit_clock_states.png.
- TLA+ wikiPageWikiLinkText "TLA+".
- TLA+ designer Leslie_Lamport.
- TLA+ fileExt ".tla".
- TLA+ hasPhotoCollection TLA+.
- TLA+ latestReleaseVersion "TLA+2".
- TLA+ license MIT_License.
- TLA+ logo "File:TLA+ logo splash image.png".
- TLA+ logoSize "248".
- TLA+ name "TLA+".
- TLA+ operatingSystem Cross-platform.
- TLA+ paradigm Action_language.
- TLA+ programmingLanguage Java.
- TLA+ wikiPageUsesTemplate Template:IPAc-en.
- TLA+ wikiPageUsesTemplate Template:Infobox_programming_language.
- TLA+ wikiPageUsesTemplate Template:Reflist.
- TLA+ subject Category:Concurrency_(computer_science).
- TLA+ subject Category:Formal_methods.
- TLA+ subject Category:Formal_methods_tools.
- TLA+ subject Category:Formal_specification_languages.
- TLA+ subject Category:Specification_languages.
- TLA+ hypernym Language.
- TLA+ type Language.
- TLA+ type ProgrammingLanguage.
- TLA+ type Software.
- TLA+ type Work.
- TLA+ type CreativeWork.
- TLA+ type Thing.
- TLA+ type Q386724.
- TLA+ type Q7397.
- TLA+ type Q9143.
- TLA+ comment "TLA+ (pronounced as tee ell a plus, /ˈtiː ɛl eɪ plʌs/) is a formal specification language developed by Leslie Lamport. It is used to design, model, document, and verify concurrent systems. TLA+ has been described as exhaustively-testable pseudocode and blueprints for software systems.For design and documentation, TLA+ fulfills the same purpose as informal technical specifications.".
- TLA+ label "TLA+".
- TLA+ sameAs m.0134r96j.
- TLA+ wasDerivedFrom TLA+?oldid=675345126.
- TLA+ depiction Amir_Pnueli.jpg.
- TLA+ isPrimaryTopicOf TLA+.
- TLA+ name "TLA+".