Specification and Design of the Leader Election Protocol of IEEE 1394

Jean-Raymond Abrial; Dominique Cansell; Dominique Méry

inria-00100598, version 1

Specification and Design of the Leader Election Protocol of IEEE 1394

Jean-Raymond Abrial^a, Dominique Cansell ()^b^, 1, Dominique Méry^c^, 1

IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard (2001) 3 p

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.

a – CONSULTANT - MARSEILLE
b – INRIA
c – UNIVERSITE HENRI POINCARE
1: MODEL (Méthodes formelles et applications) (LORIA)
INRIA – CNRS : UMR7503 – Université Nancy II – Université Henri Poincaré - Nancy I – Institut National Polytechnique de Lorraine (INPL)

inria-00100598, version 1
http://hal.inria.fr/inria-00100598
oai:hal.inria.fr:inria-00100598
From: Publications Loria <>
Submitted on: Tuesday, 26 September 2006 14:48:01
Updated on: Monday, 18 December 2006 16:07:56

See detailed view

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Peer-reviewed conferences/proceedings</head>
<biblStruct type="inproceedings" xml:id="inria-00100598"><analytic>
<author><persName><forename>Jean-Raymond</forename><surname>Abrial</surname></persName></author>
<author><persName><forename>Dominique</forename><surname>Cansell</surname></persName>
<affiliation>
<orgName type="laboratory">LORIA</orgName>
<orgName type="team">MODEL (Méthodes formelles et applications)</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Dominique</forename><surname>Méry</surname></persName>
<affiliation>
<orgName type="laboratory">LORIA</orgName>
<orgName type="team">MODEL (Méthodes formelles et applications)</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<title type="main" level="a">Specification and Design of the Leader Election Protocol of IEEE 1394</title></analytic><monogr><meeting>IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard</meeting><imprint><publisher>University of Stirling</publisher><pubPlace><settlement>Berlin</settlement><country> Germany</country></pubPlace><biblScope type="publicationDate">2001-00-00</biblScope><biblScope type="pp">3 p</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00100598</idno></biblStruct>
</listBibl>
</listBibl>