<?xml version="1.0" encoding="UTF-8"?><lom xmlns="http://ltsc.ieee.org/xsd/LOM" xmlns:lomfr="http://www.lom-fr.fr/xsd/LOMFR" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://ltsc.ieee.org/xsd/LOM http://www.lom-fr.fr/xsd/lomfrv1.0/std/lomfr.xsd">
<general>
<identifier>
<catalog>Canal-U_Ocms</catalog>
<entry>40143</entry>
</identifier>
<title><string language="fre"><![CDATA[The Bakery Algorithm in 2015]]></string></title>
<language>ENG</language>
<description>
<string language="fre"><![CDATA[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]]></string></description>
<keyword><string language="fre"><![CDATA[algorithme de la boulangerie]]></string></keyword><keyword><string language="fre"><![CDATA[bakery algorithm]]></string></keyword><keyword><string language="fre"><![CDATA[algorithme d'exclusion mutuelle]]></string></keyword>
<lomfr:documentType>
<lomfr:source>LOMFRv1.0</lomfr:source>
<lomfr:value>image en mouvement</lomfr:value>
</lomfr:documentType>
</general><lifeCycle>
<contribute>
<role>
<source>LOMv1.0</source>
<value>author</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:54:27
FN:Leslie LAMPORT
N:LAMPORT;Leslie;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/lamport_leslie
ROLE:author
NOTE:Principal researcher&nbsp; at Microsoft Research, the 2013 recipient of the em ACM A.M. Turing Award. 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2017-05-05</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>publisher</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:54:27
FN:INRIA (Institut national de recherche en informatique et automatique)
N:INRIA (Institut national de recherche en informatique et automatique);;;;
URL;TYPE=work:http://www.inria.fr/
ROLE:publisher
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2017-05-05</dateTime></date>
</contribute>
</lifeCycle>
<metaMetadata>
<metadataSchema>LOMv1.0</metadataSchema>
<metadataSchema>LOMFRv1.0</metadataSchema>
</metaMetadata>
<technical>
<format>video/mp4</format>
<location><![CDATA[https://www.canal-u.tv/video/inria/the_bakery_algorithm_in_2015.40143]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/fuscia/the.bakery.algorithm.in.2015_40143/talk.leslielamport.workshop.michelraynal.5mai2017.mp4]]></location>
<size>338369672</size>
<duration><duration>PT0H40M1S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>master</value>
</context>
<context>
<source>LOMv1.0</source>
<value>doctorat</value>
</context>
</educational>
<rights>
<cost>
<source>LOMv1.0</source>
<value>no</value>
</cost>
<copyrightAndOtherRestrictions>
<source>LOMv1.0</source>
<value>no</value>
</copyrightAndOtherRestrictions>
<description>
<string language="fre"><![CDATA[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).]]></string>
</description>
</rights>
<relation>
<kind>
<source>LOMv1.0</source>
<value>ispartof</value>
</kind>
<resource>
<identifier>
<catalog>URI</catalog>
<entry>https://www.canal-u.tv/producteurs/inria/seminaires_scientifiques/international_workshop_on_distributed_computing_in_the_honor_of_michel_raynal</entry>
</identifier>
<description>
<string language="fre"><![CDATA[International Workshop on Distributed Computing in the honor of Michel Raynal]]></string>
</description>
</resource>
</relation>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre"><![CDATA[Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr]]></string>
</source>
<taxon>
<id/>
<entry>
<string language="fre"/>
</entry>
</taxon>
</taxonPath>
</classification>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>518.1</id>
<entry>
<string language="fre"><![CDATA[Algorithmes]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>