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-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
Format
:
video/mp4
Auteur
:
LAMPORT Leslie
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
Afficher section
2
sur 1