Ressource pédagogique : The Bakery Algorithm in 2015
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...
cours / présentation - Date de création : 05-05-2017
Présentation de: The Bakery Algorithm in 2015
Informations pratiques sur cette ressource
Anglais
Type pédagogique : cours / présentation
Niveau : master, doctorat
Durée d'exécution : 40 minutes 1 seconde
Contenu : image en mouvement
Document : video/mp4
Taille : 322.69 Mo
Droits : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification).
Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification).
Description de la ressource pédagogique
Description (résumé)
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
"Domaine(s)" et indice(s) Dewey
- Algorithmes (518.1)
Thème(s)
Intervenants, édition et diffusion
Editeur(s)
-
INRIA (Institut national de recherche en informatique et automatique)
Voir toutes les ressources pédagogiques
Diffusion
-
Canal-u.fr
Voir toutes les ressources pédagogiques
AUTEUR(S)
-
Leslie LAMPORT
ÉDITION
INRIA (Institut national de recherche en informatique et automatique)
EN SAVOIR PLUS
-
Identifiant de la fiche
40143 -
Identifiant
oai:canal-u.fr:40143 -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
Canal-u.fr -
Date de publication
05-05-2017
