Specification and Design of the Leader Election Protocol of IEEE 1394
Identifieur interne : 009500 ( Main/Merge ); précédent : 009499; suivant : 009501Specification and Design of the Leader Election Protocol of IEEE 1394
Auteurs : Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]Source :
English descriptors
- KwdEn :
Abstract
This document is intended to contain a progress report on what we have done so far on the specification and design the Leader Election Protocol of IEEE 1394. We have used the B Method and the corresponding tool, Atelier B. Within the B Method, we have used, so-called, Event Driven Approach.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 003026
- to stream Crin, to step Curation: 003026
- to stream Crin, to step Checkpoint: 001595
Links to Exploration step
CRIN:abrial01aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="357">Specification and Design of the Leader Election Protocol of IEEE 1394</title></titleStmt><publicationStmt><idno type="RBID">CRIN:abrial01a</idno><date when="2001" year="2001">2001</date><idno type="wicri:Area/Crin/Corpus">003026</idno><idno type="wicri:Area/Crin/Curation">003026</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003026</idno><idno type="wicri:Area/Crin/Checkpoint">001595</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001595</idno><idno type="wicri:Area/Main/Merge">009500</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Specification and Design of the Leader Election Protocol of IEEE 1394</title><author><name sortKey="Abrial, Jean Raymond" sort="Abrial, Jean Raymond" uniqKey="Abrial J" first="Jean-Raymond" last="Abrial">Jean-Raymond Abrial</name></author><author><name sortKey="Cansell, Dominique" sort="Cansell, Dominique" uniqKey="Cansell D" first="Dominique" last="Cansell">Dominique Cansell</name><affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="region" nuts="2">Lorraine (région)</region></placeName><orgName type="team" n="7">Mosel (Loria)</orgName><orgName type="lab">Laboratoire lorrain de recherche en informatique et ses applications</orgName><orgName type="university">Université de Lorraine</orgName><orgName type="EPST">Centre national de la recherche scientifique</orgName><orgName type="EPST">Institut national de recherche en informatique et en automatique</orgName></affiliation></author><author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Méry">Dominique Méry</name><affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="region" nuts="2">Lorraine (région)</region></placeName><orgName type="team" n="7">Mosel (Loria)</orgName><orgName type="lab">Laboratoire lorrain de recherche en informatique et ses applications</orgName><orgName type="university">Université de Lorraine</orgName><orgName type="EPST">Centre national de la recherche scientifique</orgName><orgName type="EPST">Institut national de recherche en informatique et en automatique</orgName></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>b method</term><term>ieee 1394</term><term>incremental development</term><term>teorem proving</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="812">This document is intended to contain a progress report on what we have done so far on the specification and design the Leader Election Protocol of IEEE 1394. We have used the B Method and the corresponding tool, Atelier B. Within the B Method, we have used, so-called, Event Driven Approach.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 009500 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 009500 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= CRIN:abrial01a
|texte= Specification and Design of the Leader Election Protocol of IEEE 1394
}}
| This area was generated with Dilib version V0.6.33. |  |