La Fondation Linux lance une fondation pour promouvoir le langage TLA+

Créé par Leslie Lamport et soutenu par Amazon Web Services, Microsoft et Oracle, le langage de programmation TLA+ sert à modéliser des logiciels et des systèmes complexes, concurrents et distribués.