TLA+
Apparence
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.
Cet article est une ébauche concernant l’informatique théorique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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.