La Fundación Linux lanza el lenguaje TLA+

Bajo la fundación del mismo nombre

TLA+ es un lenguaje de programación de alto nivel utilizado para modelar programas y sistemas complejos, concurrentes y distribuidos. Fue creado por Leslie Lamport y cuenta con el respaldo de Amazon Web Services, Microsoft y Oracle.

Ir al artículo