Conférence
Notice
Langue :
Anglais
Crédits
INRIA (Institut national de recherche en informatique et automatique) (Production), Leslie Lamport (Intervention)
Conditions d'utilisation
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).
DOI : 10.60527/kwdx-jp29
Citer cette ressource :
Leslie Lamport. Inria. (2017, 5 mai). The Bakery Algorithm in 2015. [Vidéo]. Canal-U. https://doi.org/10.60527/kwdx-jp29. (Consultée le 15 juin 2024)

The Bakery Algorithm in 2015

Réalisation : 5 mai 2017 - Mise en ligne : 31 janvier 2018
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
Descriptif

This talk revisits the Bakery Algorithm I proposed in1974 from the point of view of the tools that we now have at our disposal in2015, notably the PlusCal Algorithm Language, and the TLA+ specificationlanguage

Intervention

Sur le même thème