Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/10700
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
Authors: Maharaj, Savi
Shankland, Carron
Contact Email: ces1@stir.ac.uk
Keywords: leader election protocol
survey of formal techniques
comparative case study
concurrency
formal methods
networks
standards
Issue Date: Oct-2000
Publisher: Journal of Universal Computer Science Consortium
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.
Type: Journal Article
URI: http://hdl.handle.net/1893/10700
URL: http://www.jucs.org/jucs_6_11/a_survey_of_formal
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.
Affiliation: Computing Science - CSM Dept
Computing Science - CSM Dept

Files in This Item:
File Description SizeFormat 
jucs.pdf264.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.

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