TLA+, acronyme de « Temporal Logic of Actions » (« logique temporelle des actions » en anglais), est un système de méthode formelle pour les algorithmes parallèles et distribués.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:basedOn | |
| dbo:designer | |
| dbo:license | |
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dbo:wikiPageWikiLink | |
| prop-fr:wikiPageUsesTemplate | |
| dct:subject | |
| rdf:type | |
| rdfs:comment |
|
| rdfs:label |
|
| rdfs:seeAlso | |
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| is dbo:wikiPageDisambiguates of | |
| is dbo:wikiPageWikiLink of | |
| is oa:hasTarget of | |
| is foaf:primaryTopic of |
