Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par auteur
=
LAMPORT LESLIE
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1
ressource
section 1
sur 1
résultats
1 à 1
Canal-u.fr
The Bakery Algorithm in 2015
Description
:
This talk revisits the Bakery Algorithm I proposed in 1974 from the point of view of the tools that we now have at our disposal in 2015, notably the PlusCal Algorithm Language, and the TLA+ specification language
Date
:
05-05-2017
Description complète
The Bakery Algorithm in 2015
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Afficher section
2
sur 1