Specification and Design of the Leader Election Protocol of IEEE 1394
Identifieur interne : 001595 ( Crin/Checkpoint ); précédent : 001594; suivant : 001596Specification 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...)
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></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><BibTex type="inproceedings"><ref>abrial01a</ref><crinnumber>A01-R-309</crinnumber><category>3</category><author><e>Abrial, Jean-Raymond</e><e>Cansell, Dominique</e><e>Méry, Dominique</e></author><title>Specification and Design of the Leader Election Protocol of IEEE 1394</title><booktitle>{IEEE 1394 (FireWire) Workshop : International Workshop on Application of Formal Methods to IEEE 1394 Standard, Berlin, Germany}</booktitle><year>2001</year><editor>S. Maharaj and J. Romijn and C. Shankland</editor><month>Mar</month><publisher>University of Stirling</publisher><keywords><e>b method</e><e>incremental development</e><e>teorem proving</e><e>ieee 1394</e></keywords><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.</abstract></BibTex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001595 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd -nk 001595 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Crin
|étape= Checkpoint
|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. |  |