Leslie Lamport is God

Wellk, he's a god, and there are several others.

Cette page est uniquement pour moi, j'essaye de comprendre les systèmes distribués. Donc ca va être le bordel.

TLA+

On part sur les machines à états, avec Leslie Fucking Lamport : introduction TLA+

La syntaxe de base de TLA+ est basée sur les maths