Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Journal Articles
Peer Review Status: Refereed
Title: A Survey of formal methods applied to leader election in IEEE 1394
Author(s): Maharaj, Savi
Shankland, Carron
Contact Email:
Keywords: leader election protocol
survey of formal techniques
comparative case study
formal methods
Issue Date: Oct-2000
Date Deposited: 23-Jan-2013
Citation: Maharaj S & Shankland C (2000) A Survey of formal methods applied to leader election in IEEE 1394. Journal of Universal Computer Science, 6 (11), pp. 1145-1163.
Abstract: We present a survey of formal specification techniques appiled to the leader election protocol of the IEEE 1394 High Performance Serial Bus. Specifications written in a variety of formalisms are compared with regard to a number of criteria including expressiveness, readability, standardisation, and level of analysis.
Rights: Publisher allows this work to be made available in this repository. Published in Journal of Universal Computer Science, Volume 6, Issue 11, pp.1145-1163 by Journal of Universal Computer Science Consortium with the following policy: The Author is permitted to make an electronic version of this article available on the Author's institutional repository prior to its publication in J.UCS (pre-print). However, in the interest of the scientific publication process, the Author agrees to replace the pre-print by a pdf version of the final published version of the article and state the complete bibliographical reference (volume, issue and page number) and the appropriate URL after the article has been published in J.UCS.

Files in This Item:
File Description SizeFormat 
jucs.pdfFulltext - Published Version264.51 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.