Skip to Main content Skip to Navigation
Conference papers

Specification and Design of the Leader Election Protocol of IEEE 1394

Jean-Raymond Abrial Dominique Cansell 1 Dominique Méry 1 
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
keyword : b method incremental development teorem proving développement incrémental preuves ieee 1394 méthode b
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00100598
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:48:01 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00100598, version 1

Collections

CNRS | INRIA | UNIV-LORRAINE | LORIA

Citation

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Specification and Design of the Leader Election Protocol of IEEE 1394. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, 3 p. ⟨inria-00100598⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

108

 

Contact                    Legal Notice                    Personal Data