Conférence

The Bakery Algorithm in 2015

Réalisation : 5 mai 2017 Mise en ligne : 5 mai 2017
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 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

Intervenants
Thèmes
Notice
Langue :
Anglais
Crédits
INRIA (Institut national de recherche en informatique et automatique) (Production)
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).
Citer cette ressource:
Inria. (2017, 5 mai). The Bakery Algorithm in 2015. [Vidéo]. Canal-U. https://www.canal-u.tv/69619. (Consultée le 27 juin 2022)
Contacter
Documentation


Dans la même collection

Sur le même thème